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