Communication and concurrency - Milner, R. (Robin), 1934-2010. (New York : Prentice Hall, 1989)
Includes bibliographical references (p. 252-255) and index.
Keywords: Computer systems; Formal languages; Concurrent programming