UNIVERSITY OF AARHUS DEPARTMENT OF COMPUTER SCIENCE
	Abstract for PB-301
Home Search Index

Title: Petri Nets as Models of Linear Logic

Author(s): Uffe Engberg and Glynn Winskel

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.