CITATION STYLE
Brookes, S. D., & Roscoe, A. W. (1985). Deadlock Analysis in Networks of Communicating Processes. In Logics and Models of Concurrent Systems (pp. 305–323). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-82453-1_10
Mendeley helps you to discover research relevant for your work.