An introduction to event structures

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

Volumn 354 LNCS, Issue , 1989, Pages 364-397

  Winskel, Glynn ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

Communicating processes; Concurrency; Event structures; Higher types; Lambda calculus; Nondeterminism; Parallel computation; Petri nets; Semantics; Traces

Indexed keywords

CALCULATIONS; COMPUTATION THEORY; DIFFERENTIATION (CALCULUS); PETRI NETS; SEMANTICS;

COMMUNICATING PROCESS; CONCURRENCY; EVENT STRUCTURES; HIGHER TYPES; LAMBDA CALCULUS; NON-DETERMINISM; PARALLEL COMPUTATION; TRACES;

TEMPORAL LOGIC;

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

References (27)

1. Berry, G., Modèles complètement adéquats et stables des lambda-calculs typés. Thèse de Doctorat d'Etat, Université de Paris VII (1979).
2. Bednarczyk, M.A., Categories of asynchronous systems. PhD in Comp Sc, University of Sussex, report no.1/88 (1988).
3. Berry, G., and Curien, P-L., Sequential algorithms on concrete data structures. TCS vol 20 (1982).
4. Boudol, G., and Castellani, I., On the semantics of concurrency: partial orders and transition systems. Springer Lec Notes in Comp Sc vol 249 (1987).
5. Curien, P-L., Categorical combinators, sequential algorithms and functional programming. Research notes in theoretical comp. sc., Pitman, London (1986).
6. Castellani, I., Permutations of transitions. This volume.
7. Engberg, U., Nielsen, M., and Larsen, K.S., Fully abstract models of a language with refinement. This volume.
8. Coquand, T., Gunter, C., and Winskel, G., Polymorphism and domain equations. In the proc of Third Workshop on the Mathematical Foundations of Programming Language Semantics, New Orleans, LA 1987.
9. Coquand, T., Gunter, C., and Winskel, G., Domain theoretic models of polymorphism. To appear in Information and Computation, 1987.
10. Girard, J-Y., The system F of variable types, fifteen years later. TCS vol.45 (1986).
11. Girard, J-Y., Linear logic. TCS 1987.
12. Kahn, G., and Plotkin, G., Domaines Concrètes. Rapport IRIA Laboria No. 336 (1978).
13. Lafont, Y., Linear logic and lazy computation. Springer Lec Notes in Comp Sc vol 249 (1987).
14. Lamport, L., Time clocks and the ordering of events in a distributed system. CACM 21, (1978).
15. Maclane, S., Categories for the Working Mathematician. Graduate Texts in Mathematics, Springer (1971).
16. Mazurkiewicz, A., Traces. This volume.
17. Milner, R., A Calculus of Communicating Systems. Springer Lecture Notes in Comp. Sc. vol. 92 (1980).
18. Meseguer, J., and Montanari, U., Petri nets are monoids: a new algebraic foundation for net theory. Proc of LICS, Computer Society Press (1988).
19. Degano, P., De Nicola, R. and Montanari, U., On the consistency of “truly concurrent” operational and denotational semantics. Proc of LICS, Computer Society Press (1988).
20. Nielsen, M., Plotkin, G., Winskel, G., Petri nets, Event structures and Domains, part 1. Theoretical Computer Science, vol. 13 (1981).
21. Penczek, W., The temporal logic of event structures. Report 616, Inst of Comp Sc, Polish Academy of Science, Warsaw, 1987.
22. Rem, M., Partially ordered computations, with an application to VLSI design. In “Foundations of Computer Science IV, part 2”, Mathematical Centre, Amsterdam (1983)
23. Lodaya, K., and Thiagarajan, P.S., A modal logic for a subclass of event structures. Proc of ICALP 1987 published in Springer Lecture Notes in C.S. (1987).
24. Winskel, G., Events in Computation. Ph.D. thesis, available as a technical report, Comp. Sc. Dept., University of Edinburgh (1980).
25. Winskel, G., Event structures. Invited lectures for the Advanced Course on Petri nets, September 1986. Appears as a report of the Computer Laboratory, University of Cambridge, 1986, and in the proceedings of the school, published in Springer Lecture Notes in C.S., vol.255 (1987).
26. Winskel, G., A category of labelled nets and compositional proof system. Proc of LICS, Computer Society Press (1988).
27. Zhang, G.Q., Logic and semantics in computation. PhD in progress, Computer Laboratory, Cambridge University.