TY - BOOK AU - Milner, R. TI - Communication and concurrency SN - 0131149849 U1 - 005.42 19 PY - 1989/// CY - New York PB - Prentice Hall KW - Computer systems KW - Formal languages KW - Concurrent programming N1 - Includes bibliographical references (p. 252-255) and index ER -