A Theory of Communicating Sequential Processes

Détails bibliographiques
Auteurs principaux: Brookes, S, Hoare, C, Roscoe, A
Format: Journal article
Publié: 1984