A Theory of Communicating Sequential Processes

Bibliografiske detaljer
Main Authors: Brookes, S, Hoare, C, Roscoe, A
Format: Journal article
Udgivet: 1984