A Theory of Communicating Sequential Processes

Detalles Bibliográficos
Main Authors: Brookes, S, Hoare, C, Roscoe, A
Formato: Journal article
Publicado: 1984