Deadlock Analysis of Unbounded Process Networks | SpringerLink
Kobayashi, N.: A type system for lock-free processes. Information and Computation 177, 122–159 (2002)CrossRefMATHMathSciNetGoogle Scholar
Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, ii. Inf. and Comput. 100, 41–77 (1992)CrossRefMATHMathSciNetGoogle Scholar