file.pdf (1.77 MB)

Deadlock analysis in networks of communicating processes

Download (1.77 MB)
journal contribution
posted on 01.07.2011, 00:00 by S. D.(Stephen D.) Brookes, A. W. Roscoe
Computer Science Department

History

Publisher Statement

Copyright © 2011 International Joint Conferences on Artificial Intelligence

Date

01/07/2011

Usage metrics

Exports