Axiomatizing the algebra of net computations and processes

Acta Informatica

Volumn 33, Issue 7, 1996, Pages 641-667

  Degano, Pierpaolo ^a   Meseguer, José ^b   Montanari, Ugo ^a  

^a UNIVERSITY OF PISA   (Italy)

^b SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030523615     PISSN: 00015903     EISSN: None     Source Type: Journal    
DOI: 10.1007/s002360050064     Document Type: Article

References (36)

1. Andrea Asperti: A Logic for Concurrency. Unpublished manuscript, November 1987.
2. Andrea Asperti, Gian Luigi Ferrari, Roberto Gorrieri: Implicative Formulae in the "Proofs as Computation" Analogy. In: Proc. 17th. Annual ACM Symposium on Principles of Programming Languages, San Francisco, California, January 1990, pp. 59-71.
3. Carolyn Brown: Relating Petri Nets to Formulae of Linear Logic. Technical Report ECS-LFCS-89-87. Laboratory for Foundations of Computer Science, University of Edinburgh, June 1989.
4. Carolyn Brown, Doug Gurr: Timing Petri Nets Categorically. In: W. Kuich (ed.), Proc. ICALP '92. Lecture Notes in Computer Science 623. Springer-Verlag, Berlin, 1992, pp. 571-582.
5. Eike Best, Raymond Devillers: Sequential and Concurrent Behaviour in Petri Net Theory. Theoretical Computer Science 55, 1987, pp. 87-136.
6. Ross T. Casley, Roger F. Crew, José Meseguer, Vaughn Pratt: Temporal Structures. In: Proc. Conference on Category Theory and Computer Science. Lecture Notes in Computer Science 389. Springer-Verlag, Berlin, 1989.
7. Pierpaolo Degano, Ugo Montanari: Distributed Systems, Partial Ordering of Events, and Event Structures. In: M. Broy (ed.) Control Flow and Data Flow: Concepts of Distributed Programming. NATO ASI Series F, Vol. 14. Springer-Verlag, Berlin, 1985, pp. 7-106.
8. Pierpaolo Degano, Ugo Montanari: Concurrent Histories: A Basis for Observing Distributed Systems. Journal of Computer and System Sciences 34, 1987, pp. 442-461.
9. J. Engelfriet: Branching Processes of Petri Nets. Acta Informatica 28, 1991, pp. 575-59.
10. Uffe Engberg, Glynn Winskel: Completeness Results for Linear Logic in Petri Nets. In: Proc. MFCS '93, Lecture Notes in Computer Science 711. Springer-Verlag, Berlin, 1993.
11. GianLuigi Ferrari, Ugo Montanari: Towards the Unification of Models for Concurrency. In: A. Arnold (ed.) Proc. CAAP '90. Lecture Notes in Computer Science 431. Springer-Verlag, Berlin, 1990, pp. 162-176.
12. J.L. Gischer: The Equational Theory of Pomsets. Theoretical Computer Science 61, 1988, pp. 199-224.
13. Ursula Goltz, Wolfgang Reisig, The Nonsequential Behavior of Petri Nets. Information and Computation 57, 1983, pp. 125-147.
14. Roberto Gorrieri, Ugo Montanari: SCONE: A Simple Calculus of Nets. In: J.C.M. Baeten, J.W. Klop (eds) Proc. CONCUR '90. Lecture Notes in Computer Science 458. Springer-Verlag, Berlin, 1990, pp. 2-30.
15. Carl Gunter, Vijay Gehlot: Nets as Tensor Theories. Technical Report MS-CIS-89-68, Logic & Computation 17, Department of Computer and Information Science, University of Pennsylvania, October 1989.
16. Carl Gunter, Vijay Gehlot: Normal Process Representatives. In: Proc. 5th. Annual Symposium on Logic in Computer Science. Philadelphia, Pa, June 1990, pp. 200-207.
17. Nisse Husberg: High level distributed transition systems in categories. Acta Polytechnica Scandinavica, Mathematical and Computer Science Series, 1992.
18. Saunders MacLane: Categories for the working mathematician. Springer-Verlag, Berlin, 1971.
19. Narciso Martí-Oliet, José Meseguer: From Petri Nets to Linear Logic. In: D. H. Fitt et al. (eds.) Category Theory and Computer Science, Manchester, UK, September 1989. Lecture Notes in Computer Science 389. Springer-Verlag, Berlin, 1989, pp. 313-340. Full version Mathematical Structures in Computer Science 1, 1991, 69-101.
20. Narciso Martí-Oliet, José Meseguer: From Petri Nets to Linear Logic. In: D. H. Fitt et al. (eds.) Category Theory and Computer Science, Manchester, UK, September 1989. Lecture Notes in Computer Science 389. Springer-Verlag, Berlin, 1989, pp. 313-340. Full version Mathematical Structures in Computer Science 1, 1991, 69-101.
21. Narciso Martí-Oliet, José Meseguer: From Petri Nets to Linear Logic. In: D. H. Fitt et al. (eds.) Category Theory and Computer Science, Manchester, UK, September 1989. Lecture Notes in Computer Science 389. Springer-Verlag, Berlin, 1989, pp. 313-340. Full version Mathematical Structures in Computer Science 1, 1991, 69-101.
22. Narciso Martí-Oliet, José Meseguer: From Petri Nets to Linear Logic through Categories: a Survey. International Journal of Foundations of Computer Science 2, 4, 1991, 297-399.
23. Antoni Mazurkiewicz: Concurrent Program Schemas and Their Interpretation. In: Proc. Aarhus Workshop on Verification of Parallel Programs, 1977.
24. José Meseguer, Ugo Montanari: Petri Nets Are Monoids: A New Algebraic Foundation for Net Theory. In: Proc. 3rd. Annual Symposium on Logic in Computer Science. Edinburgh, July 1985, pp. 155-164.
25. José Meseguer, Ugo Montanari: Petri Nets Are Monoids. Information and Computation 88, October 1990, pp. 105-155.
26. José Meseguer, Ugo Montanari, Vladimiro Sassone: On the Semantics of Petri Nets. In: Proc. CONCUR '92. Lecture Notes in Computer Science 630. Springer-Verlag, Berlin, pp. 286-301.
27. José Meseguer, Ugo Montanari, Vladimiro Sassone: On the Model of Computation of Place/Transition Petri Nets. In: Application and Theory of Petri Nets 1994. Lecture Notes in Computer Science 815. Springer-Verlag. Berlin, 1994, pp. 16-38.
28. José Meseguer, Ugo Montanari, Vladimiro Sassone: Process versus Unfolding Semantics for Place/Transition Petri Nets. Theoretical Computer Science (to appear).
29. Robin Milner: Lectures on a Calculus for Communicating Systems. In: M Broy (ed.) Control Flow and Data Flow: Concepts of Distributed Programming. NATO ASI Series F, Vol. 14. Springer-Verlag, Berlin, 1985, pp. 205-228.
30. Mogens Nielsen, Gordon Plotkin, Glynn Winskel: Petri Nets, Event Structures and Domains, Part 1. Theoretical Computer Science 13, 1981, pp. 85-108.
31. Michael Pfender: Universal Algebra in S-Monoidal Categories. Technical Report Nr. 20, Mathematisches Institut der Universität München, 1974.
32. Vaughn Pratt: Modelling Concurrency with Partial Orders. International Journal of Parallel Programming 15, 1986, pp. 33-71.
33. Vladimiro Sassone: Some Remarks on script P sign[N]. Tech. Rep. Nr. 6/94, Dipartimento di Informatica, Università di Pisa, 1994.
34. Wolfgang Reisig: Petri Nets. Springer-Verlag, Berlin, 1985.
35. Joseph Winkowski: Behaviours of Concurrent Systems. Theoretical Computer Science 12, 1980, pp. 39-60.
36. Glynn Winskel: Event Structures. In: Proc. Advances in Petri Nets 1986, part II. Lecture Notes in Computer Science 255. Springer-Verlag, Berlin, 1987, pp. 325-392.