Deadlock analysis in networks of communicating processes

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