Abstract
The chief purpose of this paper is to appraise the feasibility of Girard's linear logic as a specification language for parallel processes. To this end we propose an interpretation of linear logic in Petri nets, with respect to which we investigate the expressive power of the logic.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Andrea Asperti. A Logic for Concurrency. manuscript, November 1987.
Samson Abramsky and Steve Vickers. Linear Process Logic. Notes by Steve Vickers, 1988.
Carolyn Brown. Relating Petri Nets to Formulae of Linear Logic. Technical Report ECS LFCS 89-87, University of Edinburgh, 1989.
Carolyn Brown. Petri Nets as Quantales. Technical Report ECS LFCS 89–96, University of Edinburgh, 1989.
Carl Gunter and Vijay Gehlot. A Proof-Theoretic Operational Semantics for True Concurrency. Preliminary Report, 1989.
Jean-Yves Girard. Linear Logic. Theoretical Computer Science, 50(1):1–102, 1987.
Jean-Yves Girard and Yves Lafont. Linear Logic and Lazy Computation. In Proc. TAPSOFT 87 (Pisa), vol. 2, pages 52–66. Springer-Verlag (LNCS 250), 1987.
Yves Lafont. The Linear Abstract Machine. Theoretical Computer Science, 59:157–180, 1988.
Narciso MartÃ-Oliet and José Meseguer. From Petri Nets to Linear Logic. In Category Theory and Computer Science, Manchester, UK. Springer-Verlag (LNCS 389), 1989.
Wolfgang Reising. Petri Nets, An Introduction, volume 4 of EATCS Monogaphs on Theoretical Computer Science. Springer-Verlag, 1985.
Kimmo I. Rosenthal. A Note on Girard Quantales. To appaear in: Cah. de Top. et G. D.
G. Sambin. Manuscript reported to us by Per Martin-Löf.
D. Yetter. Quantales and Non-Commutative Linear Logic. (preprint).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Engberg, U., Winskel, G. (1990). Petri nets as models of linear logic. In: Arnold, A. (eds) CAAP '90. CAAP 1990. Lecture Notes in Computer Science, vol 431. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52590-4_46
Download citation
DOI: https://doi.org/10.1007/3-540-52590-4_46
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52590-5
Online ISBN: 978-3-540-47042-7
eBook Packages: Springer Book Archive