1. A generalized Kahn principle for abstract asynchronous networks;Abramsky,1990
2. Scenarios: a model of non-determinate computation;Brock,1981
3. Communicating Sequential Processes;Hoare,1985
4. The semantics of a simple language for parallel programming;Kahn;IFIP,1974
5. Semantics of concurrent systems: a modular fixed point trace approach;Mazurkiewicz,1984