Event structures as presheaves - Two representation theorems

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

Volumn 1664 LNCS, Issue , 1999, Pages 541-556

  Winskel, Glynn ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

CAUSAL DEPENDENCIES; EVENT STRUCTURES; MORPHISMS; PARTIAL ORDER; POMSETS; PRESHEAVES; REPRESENTATION THEOREM;

ARTIFICIAL INTELLIGENCE;

EID: 84888272956     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48320-9_37     Document Type: Conference Paper

References (13)

1. F. Borceux. Handbook of categorical algebra, vol. 1. CUP, 1994.
2. G. L. Cattani. Presheaf models for concurrency. PhD thesis, University of Aarhus, 1999. Forthcoming.
3. G. L. Cattani, M. Fiore, and G. Winskel. A theory of recursive domains with applications to concurrency. In Proceedings of LICS '98, pages 214-225, IEEE Press, 1998.
4. G. L. Cattani, I. Stark, and G. Winskel. Presheaf models for the π-calculus. In Proceedings of CTCS '97, LNCS 1290, pages 106-126, 1997.
5. G. L. Cattani and G.Winskel. Presheaf models for concurrency. In Proceedings of CSL' 96, LNCS 1258, pages 58-75, 1997.
6. M. Fiore, G. L. Cattani and G. Winskel. Weak bisimulation and open maps. To appear in LICS'99.
7. A. Joyal, M. Nielsen, and G. Winskel. Bisimulation from open maps. Information and Computation, 127:164-185, 1996.
8. S. Mac Lane and I. Moerdijk. Sheaves in geometry and logic: A First Introduction to Topos Theory. Springer-Verlag, 1992.
9. Pratt, V.R., Modelling concurrency with partial orders. International Journal of Parallel Programming, 15,1, p.33-71, Feb. 1986.
10. A. J. Power, G. L. Cattani and G. Winskel. A categorical axiomatics for bisimulation. In Proceedings of CONCUR'98, LNCS 1466, pages 591-596, 1998.
11. G. Winskel and M. Nielsen. Models for concurrency. In Handbook of logic in computer science, Vol. 4, Oxford Sci. Publ., pages 1-148. Oxford Univ. Press, 1995.
12. G. Winskel. A presheaf semantics of value-passing processes. In Proceedings of CONCUR'96, LNCS 1119, pages 98-114, 1996.
13. G.Winskel. A Linear Metalanguage for Concurrency. In Proceedings of AMAST'98, LNCS, 1999.