TY  - SER
AU  - Erdogmus, M. Hakan
AU  - Johnston, Robert
TI  - onSpecification and Synthesis of Communicating Processes
KW  - Communicating Processes
KW  - Concurrent Programs
KW  - Distributed Systems
ER  -