Skip to main content

Deadlock analysis in networks of communicating processes

A. W. Roscoe and S.D. Brookes

Journal
Distributed Computing
Number
4
Pages
209–230
Year
1991