TY - BOOK AU - Milner Robin TI - Calculus of communicating systems T2 - Lecture notes in computer science; 92 U1 - D65,8(B), M03 PY - 1980/// CY - Berlin PB - Springer Verlag KW - Computer science ER -