1. Synchronization of Parallel Programs;André,1985
2. Concepts for Distributed System Design;von Bochmann,1983
3. Communicating Sequential Processes;Hoare,1985
4. A Calculus of Communicating Systems;Milner,1980
5. Supervisory Control of a Class of Discrete Event Processes;Ramadge,1983