A Model for Communicating Sequential Processes

Bibliographic Details
Main Author: Hoare, C
Format: Record
Published: 1978