1. Net Theory and Applications,1980
2. Multiprocessors, Semaphores, and a Graph Model of Computation;Cerf,1972
3. Communicating sequential processes;Hoare;Comm. ACM,1978
4. Parallel program schemata;Karp;J. Comput. System Sci.,1969
5. A Calculus of Communicating Systems;Milner,1980