%0 Journal Article %A Brookes, S. D. %A Roscoe, A. W. %D 2011 %T Deadlock analysis in networks of communicating processes %U https://kilthub.cmu.edu/articles/journal_contribution/Deadlock_analysis_in_networks_of_communicating_processes/6604634 %R 10.1184/R1/6604634.v1 %2 https://kilthub.cmu.edu/ndownloader/files/12095039 %K Computer networks. %X Computer Science Department %I Carnegie Mellon University