A theory of communicating sequential processes

Bibliographische Detailangaben
Hauptverfasser: Roscoe, A, Brookes, S, Hoare, C
Format: Journal article
Veröffentlicht: 1984