A general categorical connection between local event structures and local traces

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

Volumn 1684, Issue , 1999, Pages 338-349

  Kleijn, H C M ^a   Morin, R ^b   Rozoy, B ^b  

^a LEIDEN UNIVERSITY   (Netherlands)

^b UFR 919 Laboratoire d'Informatique Pour la Mécanique et les Sciences de l'Ingénieur   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

EVENT STRUCTURES; GENERIC APPROACH; LOCAL EVENT STRUCTURES; LOCAL TRACE LANGUAGES;

COMPUTATION THEORY;

EID: 84878638551     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48321-7_28     Document Type: Conference Paper

References (10)

1. Degano, P., Gorrieri, R., Vigna, S.: On Relating some Models for Concurrency. TAPSOFT, LNCS 668 (1993) 15–30
2. Hoogers, P.W., Kleijn, H.C.M., Thiagarajan, P.S.: A Trace Semantics for Petri Nets. Information and Computation 117 (1995) 98–114
3. Hoogers, P.W., Kleijn, H.C.M., Thiagarajan, P.S.: An Event Structure Semantics for General Petri Nets. Theoretical Computer Science 153 (1996) 129–170
4. Kleijn, H.C.M., Morin, R., Rozoy, B.: Event Structures for Local Traces. Electronic Notes in Theoretical Computer Science 16-2 (1998) – 16 pages
5. Mazurkiewicz, A.: Trace Theory. Advanced Course on Petri Nets, Bad Honnef, Germany, LNCS 254 (1987) 269–324
6. Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, events structures and domains, Part I. Theoretical Computer Science 13 (1981) 85–108
7. Nielsen, M., Sassone, V., Winskel, G.: Relationships between Models of Concurrency. LNCS 803 (1994) 425–475
8. Rozoy, B., Thiagarajan, P.S.: Trace monoids and event structures. Theoretical Computer Science 91 (1991) 285–313
9. Pierce, B.C.: Category Theory for Computer Scientists. (The MIT Press, 1991)
10. Winskel, G., Nielsen, M.: Models for Concurrency. In Handbook of Logic in Computer Science, Vol. 4: Semantic Modelling, S. Abramsky, D.M. Gabbay and T.S.E. Maibaum, eds (Oxford University Press, Oxford, 1995) 1–148