Rance Cleaveland and Matthew Hennessy. Priorities in process algebras. IEEE Computer Society. R. De Nicola and M. Hennessy. CCS without taus.
Communication primitives in programming and specification languages.
In Networking in Open Systems, pages 224-251. Springer-Verlag, Lecture notes in CS no. 248, IBM Europe Institute, Oberlech, August 1986. An algebraic theory of fair asynchronous communicating processes. Modelling fair processes. In Proceedings of the Sixteenth Annual ACM Symposium on Theory of Computing, pages 25-30, Washington, D.C., 1984.