Petri Nets as Models of Linear Logic

Forfattere

  • Uffe Engberg
  • Glynn Winskel

DOI:

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

Resumé

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.

Forfatterbiografier

Uffe Engberg

Glynn Winskel

Downloads

Publiceret

1990-02-01

Citation/Eksport

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

Nummer

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

Sektion

Articles

Licens

Creative Commons License

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