Open AccessPetri Nets as Models of Linear Logic
Author(s) -
Uffe Engberg,
Glynn Winskel
Publication year - 1990
Publication title -
daimi report series
Language(s) - English
Resource type - Journals
eISSN - 2245-9316
pISSN - 0105-8517
DOI - 10.7146/dpb.v19i301.6682
Subject(s) - linear logic , petri net , computer science , programming language , interpretation (philosophy) , linear temporal logic , expressive power , theoretical computer science
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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom