Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

CAAP
1990

favoriteEmaildiscussreport

99views Theoretical Computer Science» more CAAP 1990»

Petri Nets as Models of Linear Logic

13 years 8 months ago

Petri Nets as Models of Linear Logic

Download www.daimi.au.dk

The chief purpose of this paper is to appraise the feasibility of Girard’s linear logic as a speciﬁcation 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.

Uffe Engberg, Glynn Winskel

Real-time Traffic

CAAP 1990 | Chief Purpose | Girard’s Linear Logic | Linear Logic | Theoretical Computer Science |

claim paper

Related Content

» Petri Nets with Simple Circuits

» ILP Models for the Synthesis of Asynchronous Control Circuits

» Bounded LTL Model Checking with Stable Models

» Synthesis of Asynchronous Hardware from Petri Nets

» Timed Petri Nets in Hybrid Systems Stability and Supervisory Control

» Coordination Reo Nets and Logic

» LTL Model Checking for Modular Petri Nets

» Toward a Definition of Modeling Power for Stochastic Petri Net Models

» Synchronization Models for Multimedia Presentation with User Participation

Post Info
More Details (n/a)

Added	28 Aug 2010
Updated	28 Aug 2010
Type	Conference
Year	1990
Where	CAAP
Authors	Uffe Engberg, Glynn Winskel

Comments (0)