Traces, histories, graphs: Instances of a process monoid

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

Volumn 176 LNCS, Issue , 1984, Pages 115-133

  Mazurkiewicz, Antoni ^a  

^a POLISH ACADEMY OF SCIENCES   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85034767995     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0030293     Document Type: Conference Paper

References (20)

1. Aalsbersberg, Y.J., Rozenberg, G.: Trace Theory — a Survey, Technical Report, Inst. of Appl. Math. and Comp. Sci., University of Leiden, 1984
2. Bertoni, A., Mauri, G., Sabadini, N.: Equivalence and Membership Problems for Regular Trace Languages, LNCS 88, Springer Verlag, 1980
3. Bertoni, A: Behaviour of CE Petri Nets an Recognizable Trace Languages, Internal Report Istituto di Cibernetica Milano, 1982
4. Bertoni, A: A Hierarchy of Regular Trace Languages and Some Combinatorial Applications, Proc. II World Conf. on Mathematics at service of the man, 1982
5. Genrich, H. J., Lautenbach, K., Thiagarajan, P.S.: Elements of General Net Theory, in Net Theory and Application (Brauer, W. editor) LNCS 84, Springer Verlag, 1980
6. Janicki, R.: Mazurkiewicz Traces Semantics for Communication Sequential systems, 5th European Workshop on Applications and Theory of Petri Nets, 1984
7. Janssen, D., Kreowski, H.J., Rozenberg, G., Ehrig, H.: Concurrency of Node-Label-Controlled Graph Transformations, Proc. of 8th Conf. on Graph-Theoretic Concepts in Computer Science, Hanser Verlag, 1982
8. Knuth, E. : A Study of the Projection Operation, Springer Verlag, Inf. Fachb. 52, 1982
9. Knuth, F.: Petri Nets and Trace Languages, Proc. Ist European Conf. on Parallel and Distributed Processing, Toulouse, 1979
10. Kreowski, H.J.: Graph Grammar Derivation Processes, manuscript, 1984
11. Lamport, L.: Time, Clocks, and the Ordering of Events in Distributive Systems, CACM, 7, 1978
12. Lauer, P.E., Shields, M.W., Best, E.: Formal Theory of the Basic COSY Notation, Univ. of Newcastle upon Tyne, Comp. Lab. TR 143, 1979
13. Mazurkiewicz, A.: Concurrent Program Schemes and Their Interpretations, Aarhus University, DAIMI Rep. PB 78, 1977
14. Mazurkiewicz, A.: The Semantics of Concurrent Systems: A Modular Fixed Point Trace Approach, 5th European Workshop on Applications and Theory of Petri Nets, 1984
15. Petri, C.A.: Non-Sequential Processes. ISF Report 77.05, Gesellschaft für Mathematik und Datenverarbeitung mbH Bonn, 1977
16. Petri, C.A.: Fundamentals of the Representation of Discrete Processes, ISF Report 82.04, Gesellschaft für Mathematik und Datenverarbeitung mbH Bonn, 1982
17. Reisig, W.: Petrinetze, Springer Verlag, Berlin-Heidelberg-New York, 1982
18. Shields, M.W.: Non Sequential Behaviour:1, University of Edinburgh, Dept. of Comp.Sci., Internal Report CSR-120-82, 1982
19. Shields, M.W.: Adequate Path Expressions, Proc. of Symposium on the Semantics of Concurrent Computation, LNCS 70, Springer Verlag, 1979
20. Starke, P.: Processes in Petri Nets, Elektron. Informationsverarbeitung und Kybernetik, 17, 1981