1. Plotkin, G.D.: A structural approach to operational semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)
2. Lecture Notes in Computer Science;J. Rutten,1994
3. Turi, D., Plotkin, G.: Towards a mathematical operational semantics. In: Proc. 12th LICS Conference, pp. 280–291. IEEE, Computer Society Press (1997)
4. Hoare, C.A.R.: Communicating Sequencial Processes. Series in Computer Science. Prentice-Hall International (1985)
5. Roscoe, A.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1998)