1. Brauer, W., Net Theory and Applications, Springer-Verlag LNCS 84, 1980.
2. Brock, J.D. and W.B. Ackerman, Scenarios: A Model of Non-Determinate Computation. In LNCS 107: Formalization of Programming Concepts, J. Diaz and I. Ramos, Eds., Springer-Verlag, New York, 1981, 252–259.
3. Denvir, T., W. Harwood, M. Jackson, and M. Ray, The Analysis of Concurrent Systems, Proceedings of a Tutorial and Workshop, Cambridge University, Sept. 1983, LNCS, Springer-Verlag, to appear.
4. Gischer, J., Partial Orders and the Axiomatic Theory of Shuffle, Ph.D. Thesis, Computer Science Dept., Stanford University, Dec. 1984.
5. Hoare, C.A.R., Communicating Sequential Processes, CACM, 21, 8, 666–672, August, 1978