1. Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. J. ACM 31(3), 560–599 (1984)
2. Brookes, S.D., Roscoe, A.W., Walker, D.J.: An operational semantics for CSP. Technical report, Carnegie Mellon University
3. Broy, M., Nelson, G.: Adding fair choice to Dijkstra’s calculus. TOPLAS 16(3), 924–938 (1994)
4. Clinger, W.D.: Foundations of actor semantics. Technical report, Massachusetts Institute of Technology, Cambridge, MA, USA (1981)
5. Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall International, Englewood Cliffs (1984)