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
A. W. Roscoe and S.D. Brookes