Event structure semantics for CCS and related languages

1. G. Berry, P.L. Curien, “Sequential algorithms on concrete data structures,” to appear in TCS.

   Google Scholar 

2. T. Fogh, “En semantik for synkroniserede parallelle processer,” Master's Thesis, Aarhus University, 1981.

   Google Scholar 

3. C.A.R. Hoare, “A Model for Communicating Sequential Processes,” Programming Research Group, Oxford University, 1978.

   Chapter  Google Scholar 

4. G. Kahn, G. Plotkin, “Structures de Données concrètes,” IRIA-Laboria Report 336, 1978.

   Google Scholar 

5. P.E. Lauer, P.R. Torrigiani, M.W. Shields, “COSY: A System Specification Language based on Paths and Processes,” Acta Informatica 12, 1979.

   Google Scholar 

6. S. Maclane, “Categories for the working mathematician,” Springer-Verlag, 1971.

   Google Scholar 

7. G.J. Milne, “Synchronised Behaviour Algebras: a model for interacting systems,” Dept. of Comp. Sc., University of Southern California, 1979.

   Google Scholar 

8. R. Milner, “A Calculus of Communicating Systems,” LNCS 92, 1980.

   Google Scholar 

9. R. Milner, “On relating Synchrony and Asynchrony,” Dept. of Comp. Sc., University of Edinburgh, 1980.

   Google Scholar 

10. U. Montanari, C. Simonelli, “On distinguishing between concurrency and nondeterminism,” Proc. Ecole de Printemps on Concurrency and Petri Nets, Colleville, 1980 (to appear).

    Google Scholar 

11. M. Nielsen, G. Plotkin, G. Winskel, “Petri nets, event structures and domains,” Proc. Conf. on Semantics of Concurrent Computation, Evian, LNCS 70, 1979.

    Google Scholar 

12. M. Nielsen, G. Plotkin, G. Winskel, “Petri nets, event structures and domains, part I,” TCS 13, 1981.

    Article  MathSciNet  Google Scholar 

13. W. Brauer (ed.), “Net Theory and Applications,” LNCS 84, 1980.

    Google Scholar 

14. D.S. Scott, “Lectures on a Mathematical Theory of Computation,” Lecture notes in mathematics, University of Oxford, 1980.

    Google Scholar 

15. G. Winskel, “Events in Computation,” Ph.D. Thesis, Dept. of Comp-Sc, University of Edinburgh, 1980.

    Google Scholar 

Download references