Deadlock analysis in networks of communicating processes

2011-07-01T00:00:00Z (GMT) by S. D.(Stephen D.) Brookes A. W. Roscoe
Computer Science Department