A cartesian closed category of event structures with quotients

Discrete Mathematics and Theoretical Computer Science

Volumn 8, Issue 1, 2006, Pages 249-272

  Abbes, Samy ^a  

^a UNIVERSITÉ PARIS DIDEROT   (France)

Author keywords

Event structure; Maximal elements; Quotient semantics

Indexed keywords

DATA COMPRESSION; FINITE DIFFERENCE METHOD; PHASE SPACE METHODS; TOPOLOGY;

EVENT STRUCTURE; MAXIMAL ELEMENTS; QUOTIENT SEMANTICS;

DATA STRUCTURES;

EID: 33748579222     PISSN: 13658050     EISSN: 13658050     Source Type: Journal    
DOI: None     Document Type: Article

References (16)

1. S. Abbes and A. Benveniste. Branching cells as local states for event structures and nets: probabilistic applications. In V. Sassone, editor, FOSSACS 2005, volume 3441 of LNCS, pages 95-109, 2005.
2. S. Abbes and A. Benveniste. Probabilistic models for true-concurrency: branching cells and distributed probabilities for event structures. Information and Computation, 204(2):231-274,2006.
3. G. Birkhoff. Lattice Theory. American Mathematical Society, 1967. Third edition.
4. M. Droste. Event structures and domains. Theoretical Computer Science, 68(1):37-47,1989.
5. A. Edalat and R. Heckmann. A computational model for metric spaces. Theoretical Computer Science, 193(1-2):53-73, 1998.
6. G. Gierz, K.H. Hofmann, K. Keimel, J.D. Lawson, M.W. Mislove, and D.S. Scott. Continuous Lattices and Domains. Cambridge University Press, 2003.
7. C. Jones and G. Plotkin. A probabilistic powerdomain of evaluations. In LICS 1989, pages 186-195. IEEE Computer Society Press, 1989.
8. A. Jung. Cartesian closed categories of algebraic CPOs. Theoretical Computer Science, 70(2):233-250,1990.
9. J. Lawson. Spaces of maximal points. Mathematical Structures in Computer Science, 7(5):543-555, 1997.
10. C. McLarty. Elementary Categories, Elementary Toposes. Oxford University Press, 1992.
11. M. Nielsen, G. Plotkin, and G. Winskel. Petri nets, event structures and domains, part 1. Theoretical Computer Science, 13:85-108,1981.
12. M. Nielsen and G. Winskel. The Book of Traces, chapter Trace structures and other models for concurrency. V. Diekert and G. Rozenberg, editors, World Scientific, 1995.
13. B. Rozoy and P.S. Thiagarajan. Event structures and trace monoids. Theoretical Computer Science, 91(2):285-313, 1991.
14. G. Winskel. Events in computation. PhD thesis, University of Edimburgh, 1980.
15. G. Winskel. Event structures semantics for CCS and related languages. Technical Report PB-159, DAIMI, 1983. Full version of ICALP'82 paper, volume 140 of LNCS, pages 561-576,1982.
16. G. Winskel. Relations in concurrency. In LICS 2005, pages 2-11. IEEE Computer Society Press, 2005. Invited talk.