Event structures for local traces

Electronic Notes in Theoretical Computer Science

Volumn 16, Issue 2, 1998, Pages 98-113

  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

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SYSTEMS; MATHEMATICAL MODELS; SEMANTICS; SET THEORY; THEOREM PROVING;

CONCURRENT SYSTEMS; LOCAL EVENT STRUCTURES; LOCAL TRACE LANGUAGES; MORPHISMS;

PETRI NETS;

EID: 19144371371     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00120-3     Document Type: Conference Paper

References (20)

1. Arnold A. An extension of the notion of traces and asynchronous automata. RAIRO. 25:1991;355-393
2. Arnold A. Verification and Comparison of Transition Systems. TapSoft, LNCS. 668:1993;121-135
3. Bauget S., Gastin P. On Congruence and Partial Orders. MFCS'95, LNCS. 969:1995;434-443
4. Biermann I., Rozoy B. Reliable Generalized and Context Dependent Commutation Relations. TapSoft, LNCS. 1214:1997;165-180
5. Bednarczyk, M.A.: Categories of asynchronous systems. PhD thesis (University of Sussex, report no 1/88, 1988)
6. Diekert V., Rozenberg G. The Book of traces. 1995;World Scientific
7. Hoogers, P.W.: Behavioural aspects of Petri nets. Thesis (Leiden University, 1994)
8. Hoogers P.W., Kleijn H.C.M., Thiagarajan P.S. A Trace Semantics for Petri Nets. Information and Computation. 117:1995;98-114
9. 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
10. Husson, J-F.: Modélisation de la causalité par des relations d'indépendances. Thèse (Université Paul Sabatier de Toulouse, décembre 1996)
11. Kleijn, H.C.M., Rozoy B.: Local Traces and Local Event Structures again. Proceedings of the Workshop on Algebraic and Syntactic Aspects of Concurrency, Chantilly, France, available at LITP as TR 95/48 (1995) 163-171
12. Kleijn, H.C.M.: Local Traces and Local Event Structures. Proceedings of the Workshop on Algebraic and Syntactic Aspects of Concurrency, Chantilly, France, available at LITP as TR 95/48 (1995) 153-161
13. Mac Lane S. Categories for the Working Mathematician. Graduate Texts in Mathematics. Vol. 5:1971;Springer-Verlag, New York/Berlin
14. Mazurkiewicz A. Trace Theory. Advanced Course on Petri Nets, Bad Honnef, Germany, LNCS. 254:1987;269-324
15. Morin R., Rozoy B. Local event structures and local traces, a maximal coreflection. Rapport de Recherche. 1104:1997;. (LRI)
16. Nielsen M., Plotkin G., Winskel G. Petri nets, events structures and domains, Part I. Theoretical Computer Science. 13:1981;85-108
17. Nielsen M., Rozenberg G., Thiagarajan P.S. Elementary Transition Systems. Theoretical Computer Science. 96:1992;3-33
18. Nielsen M., Rozenberg G., Thiagarajan P.S. Transition Systems, Event Structures and Unfoldings. Information and Computation. 118:1995;191-207
19. Rozoy B., Thiagarajan P.S. Trace monoids and event structures. Theoretical Computer Science. 91:1991;285-313
20. Winskel G., Nielsen M. Models for Concurrency. Abramsky S., Gabbay D.M., Maibaum T.S.E. Handbook of Logic in Computer Science, Vol. 4: Semantic Modelling. 1995;1-148 Oxford University Press, Oxford