A Semantics and Proof System for Communicating Processes

[1]  C. A. R. Hoare,et al.  A Theory of Communicating Sequential Processes , 1984, JACM.

[2]  Rocco De Nicola,et al.  Testing Equivalences for Processes , 1984, Theor. Comput. Sci..

[3]  Rocco De Nicola,et al.  A Complete Set of Axioms for a Theory of Communicating Sequential Processes , 1983, FCT.

[4]  Rocco De Nicola,et al.  Testing Equivalence for Processes , 1983, ICALP.

[5]  Stephen D. Brookes,et al.  On the Relationship of CCS and CSP , 1983, ICALP.

[6]  Liz Sonenberg,et al.  Fixed Point Theorems and Semantics: A Folk Tale , 1982, Inf. Process. Lett..

[7]  Andrew William Roscoe.  A mathematical theory of communicating processes , 1982 .

[8]  Irène Guessarian,et al.  Algebraic semantics , 1981, Lecture Notes in Computer Science.

[9]  Willem P. de Roever,et al.  A Proof System for Communicating Sequential Processes , 1980, ACM Trans. Program. Lang. Syst..

[10]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[11]  C. A. R. Hoare,et al.  A Model for Communicating Sequential Processes , 1980, On the Construction of Programs.

[12]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.