Deadlock analysis in networks of communicating processes

A. W. Roscoe and S.D. Brookes

book title	Logics and Models of Concurrent Systems
editor	K.R. Apt
pages	305—324
publisher	Springer
series	NATO ASI series F
volume	13
year	1985

people	Bill Roscoe
activities	Concurrency