← Catalog

A Theory of Communicating Sequential Processes

Authors: Brookes, S. D.; Hoare, C. A. R.; Roscoe, A. W.
Published: 1984-07
Computing Foundations Has Notes