Petri Nets as Models of Linear Logic Export

@inproceedings{citeulike:1581290, abstract = {The chief purpose of this paper is to appraise the feasibility of Girard'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. 1 Introduction Girard's linear logic has sparked off a great deal of interest in how it might be useful in the theory of parallelism, not least because of Girard's initial claims for it [Gir87]. Linear logic...}, address = {Copenhagen, Denmark}, author = {Engberg, U. and Winskel, G.}, booktitle = {Proceedings of Colloquium on Trees in Algebra and Programming}, citeulike-article-id = {1581290}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.7203}, editor = {Arnold, A.}, keywords = {linear-logic, petri-nets}, pages = {147--161}, posted-at = {2007-08-22 06:27:55}, priority = {2}, publisher = {Springer-Verlag LNCS 389}, title = {Petri Nets as Models of Linear Logic}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.7203}, year = {1990} }

TY - CONF ID - citeulike:1581290 L3 - citeulike-article-id:1581290 N2 - The chief purpose of this paper is to appraise the feasibility of Girard'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. 1 Introduction Girard's linear logic has sparked off a great deal of interest in how it might be useful in the theory of parallelism, not least because of Girard's initial claims for it [Gir87]. Linear logic... AD - Copenhagen, Denmark EP - 161 TI - Petri Nets as Models of Linear Logic PB - Springer-Verlag LNCS 389 T2 - Proceedings of Colloquium on Trees in Algebra and Programming SP - 147 KW - linear-logic KW - petri-nets AU - Engberg, U AU - Winskel, G A2 - Arnold, A PY - 1990/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.7203 ER -