A Model for Communicating Sequential Processes

Bibliographische Detailangaben
1. Verfasser: Hoare, C
Weitere Verfasser: McKeag, R
Format: Buch
Veröffentlicht: 1980