Symmetry and concurrency

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

Volumn 4624 LNCS, Issue , 2007, Pages 40-64

  Winskel, Glynn ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

Event structures; Higher dimensional automata; Higher order processes; Nondeterministic dataflow; Petri nets; Pseudo monads; Spans; Symmetry; Unfolding

Indexed keywords

AUTOMATA THEORY; DATA TRANSFER; PETRI NETS; SEMANTICS;

EVENT STRUCTURES; HIGHER DIMENSIONAL AUTOMATA; HIGHER ORDER PROCESSES; NONDETERMINISTIC DATAFLOW; PSEUDO MONADS;

CONCURRENT ENGINEERING;

EID: 38049035068     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73859-6_4     Document Type: Conference Paper

References (29)

1. Abramsky, S., Jagadeesan, R., Malacaria, P.: Full Abstraction for PCF. Information and Computation 163, 409-470 (2000)
2. Berry, G.: Modèles completement adéquats et stables des λ-calculs typés. Thèse de Doctorat d'Etat, Université de Paris VII (1979)
3. Burroni, A.: T-catégories. Cahiers de topologie et géométrie différentielle, XII(3) (1971)
4. Cattani, G.L., Winskel, G.: Profunctors, open maps and bisimulation. In: MSCS (2005)
5. Cheng, E., Hyland, J.M.E., Power, A.J.: Pseudo-distributive laws. ENTCS 83 (2004)
6. Crazzolara, F., Winskel, G.: Composing Strand Spaces. In: Agrawal, M., Seth, A.K. (eds.) FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science. LNCS, vol. 2556, Springer, Heidelberg (2002)
7. van Glabbeek, R.J.: On the expressiveness of higher dimensional automata. EXPRESS 2004. ENTCS 128(2) (2005)
8. Doghmi, S.F., Guttman, J.D., Thayer, F.J.: Searching for shapes in cryptographic protocols. In: TACAS'07 (2007)
9. Hayman, J., Winskel, G.: The unfolding of general Petri nets. Forthcoming.
10. Johnstone, P.: Sketches of an elephant, a topos theory compendium, vol.1. OUP (2002)
11. Joyal, A., Nielsen, M., Winskel, G.: Bisimulation from open maps. LICS '93 special issue of Information and Computation 127(2), 164-185 (1996) Available as BRICS report, RS-94-7
12. Kahn, G., Plotkin, G.D.: Concrete domains. TCS 121(1& 2), 187-277 (1993)
13. Koslowski, J.: A monadic approach to polycategories. Theory and Applications of Categories 14(7), 125-156 (2005)
14. Mac Lane, S.: Categories for the Working Mathematician. Springer, Heidelberg (1971)
15. Nielsen, M., Plotkin, G.D., Winskel, G.: Petri nets, event structures and domains. TCS 13(1), 85-108 (1981)
16. Nygaard, M.: Domain theory for concurrency. PhD Thesis, University of Aarhus (2003)
17. Nygaard, M., Winskel, G.: Domain theory for concurrency. TCS 316, 153-190 (2004)
18. Power, A.J.: 2-Categories. BRICS Lecture Notes, Aarhus University (March 1998)
19. Saunders-Evans, L., Winskel, G.: Event structure spans for non-deterministic dataflow. In: Proc. Express'06, ENTCS (2006)
20. Saunders-Evans, L.: Events with persistence. Forthcoming PhD thesis, University of Cambridge Computer Laboratory (2007)
21. Winskel, G., Nielsen, M.: Models for Concurrency. Handbook of Logic and the Foundations of Computer Science 4, 1-148 OUP (1995)
22. Winskel, G.: Events in Computation. PhD thesis, Univ. of Edinburgh (1980) Available from http://www.cl.cam.ac.uk/users/gw104
23. Winskel, G.: Event structure semantics of CCS and related languages. In: Nielsen, M., Schmidt, E.M. (eds.) Automata, Languages, and Programming. LNCS, vol. 140, Springer, Heidelberg (1982), http://www.cl.cam.ac.uk/users/gw104
24. Winskel, G.: A new definition of morphism on Petri Nets. In: STACS'84: pp. 140-150 (1984)
25. Winskel, G.: Event structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986. LNCS, vol. 255, Springer, Heidelberg (1987)
26. Winskel, G.: An introduction to event structures. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. LNCS, vol. 354, Springer, Heidelberg (1989)
27. Winskel, G.: Event structures as presheaves - two representation theorems. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol. 1664, Springer, Heidelberg (1999)
28. Winskel, G.: Relations in concurrency. In: Invited talk, LICS'05 (2005)
29. Winskel, G.: Event structures with symmetry. In: the Plotkin Festschrift. ENTCS 172 (2007), See http://www.cl.cam.ac.uk/users/gwl04 for corrections