Completeness results for linear logic on Petri nets

Annals of Pure and Applied Logic

Volumn 86, Issue 2, 1997, Pages 101-135

  Engberg, Uffe ^a   Winskel, Glynn ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031575036     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0168-0072(96)00024-3     Document Type: Article

References (15)

1. [1] S. Abramsky and S. Vickers, Linear Process Logic, Notes by Steve Vickers, 1988.
2. [2] C. Brown, Relating Petri nets to formulae of linear logic, Tech. Report ECS LFCS 89-87, University of Edinburgh 1989.
3. [3] U.H. Engberg and G. Winskel, Petri nets as models of linear logic, in: CAAP '90, Coll. on Trees in Algebra and Programming, Copenhagen, Denmark, Lecture Notes in Computer Science, Vol. 431, (Springer, Berlin, 1990) 147-161.
4. [4] U.H. Engberg and G. Winskel, Linear logic on Petri nets. in: J.W. de Bakker, W.-P. de Roever and G. Rozenberg, eds., A Decade of Concurrency: Reflections and Perspectives, REX School/Symp. Proc. Noordwijkerhout, The Netherlands, 1993, Lecture Notes in Computer Science, Vol. 803 (Springer, Berlin, 1994) 176-229.
5. [5] J.-Y. Girard, Linear logic, Theoret. Comput. Sci. 50 (1987) 1-102.
6. [6] J.-Y. Girard and Y. Lafont, Linear logic and lazy computation, in: Proc. TAPSOFT 87 (Pisa), Vol. 2, Lecture Notes in Computer Science, Vol. 250, (Springer, Berlin, 1987) 52-66.
7. [7] C. Gunter and V. Gehlot, Nets as tensor theories, Tech. Report MS-CIS-89-68, University of Pennsylvania, 1989.
8. [8] M.H.T. Hack, Decidability questions for Petri nets, Ph.D. Thesis, MIT, 1976.
9. [9] Y. Lafont, The linear abstract machine,s Theoret. Comput. Sci. 59 (1988) 157-180.
10. [10] P. Lincoln, J. Mitchell, A. Scedrov and N. Shankar, Decision problems for propositional linear logic, in: Foundations of Computer Science (FOCS'90), Vol. II, St. Louis, MO, (1990) 662-671.
11. [11] N. Martí-Oliet and J. Meseguer, From Petri nets to linear logic: a survey, Internat. J. Found. Comput. Sci. 2 (1991) 297-399.
12. [12] W. Reisig, Petri Nets, An Introduction, EATCS Monographs on Theoretical Computer Science, Vol. 4 (Springer, Berlin, 1985).
13. [13] K.I. Rosenthal, A note on Girard quantales, Chaiers Top. Géom. Diff. Cat. 31 (1990) 3-11.
14. [14] G. Sambin, Manuscript reported to us by Per Martin-Löf.
15. [15] D.N. Yetter, Quantales and (non-commutative) linear logic, J. Symbol. Logic 55 (1990) 41-64.