Event structure semantics for CCS and related languages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 140 LNCS, Issue , 1982, Pages 561-576

  Winskel, Glynn ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85034211340     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0012800     Document Type: Conference Paper

References (15)

1. G. Berry, P.L. Curien, "Sequential algorithms on concrete data structures", to appear in TCS.
2. T. Fogh, "En semantik for synkroniserede parallelle processer", Master's Thesis, Aarhus University, 1981.
3. A.R. Hoare, "A Model for Communicating Sequential Processes", Programming Research Group, Oxford University, 1978.
4. G. Kahn, G. Plotkin, "Structures de Données concrètes", IRIA-Laboria Report 336, 1978.
5. P.E. Lauer, P.R. Torrigiani, M.W. Shields, "COSY: A System Specification Language based on Paths and Processes", Acta Informatica 12, 1979.
6. S. Maclane, "Categories for the working mathematician", Springer-Verlag, 1971.
7. G.J. Milne, "Synchronised Behaviour Algebras: a model for interacting systems", Dept, of Comp. Sc., University of Southern California, 1979.
8. R. Milner, "A Calculus of Communicating Systems", LNCS 92, 1980.
9. R. Milner, "On relating Synchrony and Asynchrony", Dept., of Comp. Sc., University of Edinburgh, 1980.
10. U. Montanari, C. Simonelli, "On distinguishing between concurrency and nondeterminism", Proc. Ecole de Printemps on Concurrency and Petri Nets, Colleville, 1980 (to appear).
11. M. Nielsen, G. Plotkin, G. Winskel, "Petri nets, event structures and domains", Proc. Conf. on Semantics of Concurrent Compu¬tation, Evian, LNCS 70, 1979.
12. M. Nielsen, G. Plotkin, G. Winskel, "Petri nets, event structures and domains, part I", TCS 13, 1981.
13. W. Brauer (ed.), "Net Theory and Applications", LNCS 84, 1980.
14. S. Scott, "Lectures on a Mathematical Theory of Computation", Lecture notes in mathematics, University of Oxford, 1980.
15. G. Winskel, "Events in Computation", Ph.D. Thesis, Dept, of Comp. Sc., University of Edinburgh, 1980.