A Model for Communicating Sequential Processes

Bibliografiska uppgifter
Huvudupphovsman: Hoare, C
Övriga upphovsmän: McKeag, R
Materialtyp: Bok
Publicerad: 1980