Petri Nets as Models of Linear Logic
DOI:
https://doi.org/10.7146/dpb.v19i301.6682Abstract
The chief purpose of this paper is to appraise the feasibility of Girad'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.Downloads
Published
1990-02-01
How to Cite
Engberg, U., & Winskel, G. (1990). Petri Nets as Models of Linear Logic. DAIMI Report Series, 19(301). https://doi.org/10.7146/dpb.v19i301.6682
Issue
Section
Articles
License
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.