Petri Nets as Models of Linear Logic

Authors

  • Uffe Engberg
  • Glynn Winskel

DOI:

https://doi.org/10.7146/dpb.v19i301.6682

Abstract

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.

Author Biographies

Uffe Engberg

Glynn Winskel

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

No. 301 (1990): PB-301 Petri Nets as Models of Linear Logic

Section

Articles

License

Creative Commons License

Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.