Uffe Engberg, Glynn Winskel  Home/Search
Context Related
Links: ACM DBLP | daimi.aau.dk/pub/Linea...caap90a4.ps.Z daimi.aau.dk/pub/L...DAIMIPB301.ps.gz daimi.aau.dk/pub/LinearL...caap90.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: daimi.aau.dk/pub/LinearLogic/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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... (Update)
Context of citations to this paper: More
...with accelerations. The relation between Rewriting, Petri Nets and Linear Logic has been investigated in previous works like [11, 18, 36, 34]. Our point of view is based on the proof as computation metaphor proposed in [4, 3, 38] our connection with models for concurrency...
.... a directed bi partite multigraph (P; T ; E) whose two types of nodes, P and T , are called places and transitions, respectively [Pet62, Rei85, EW90]. The multiedges E link places to transitions and transitions to place; each edge carries a multiplicity. It is convenient to...
Cited by: More
Relating State-Based and Process-Based Concurrency through.. - Cervesato, Scedrov (2006) (Correct)
The Logical Meeting Point of Multiset Rewriting and Process.. - Cervesato (2004) (Correct)
Linear logic proofs and processes in Petri nets - Fanchon, Riviere.. (Correct)
Similar documents (at the sentence level): More
55.5%: Petri Nets as Models of Linear Logic - Engberg, Winskel (1990) (Correct)
49.7%: Linear Logic on Petri Nets - Engberg, Winskel (1994) (Correct)
18.6%: Completeness Results for Linear Logic on Petri Nets - Engberg, Winskel (1993) (Correct)
Active bibliography (related documents): More All
0.1: Linear Continuations - Filinski (1992) (Correct)
0.1: Term Assignment for Intuitionistic Linear Logic.. - Benton, Bierman, de.. (1992) (Correct)
0.1: Interpreting Strands in Linear Logic - Cervesato, Durgin, Kanovich.. (2000) (Correct)
Similar documents based on text: More All
0.4: Equality In Linear Logic - Coniglio, Miraglia (1996) (Correct)
0.2: Domain Theoretic Models Of Polymorphism - Coquand, Gunter (1989) (Correct)
0.2: Temporal Linear Logic and Its Applications - Hirai (2000) (Correct)
Related documents from co-citation: More All
22: Theoretical Computer Science (context) - Girard - 1987
15: Nets as tensor theories (context) - Gunter, Gehlot - 1989
13: Linear Objects: Logical Processes with Built-in Inheritance - Pareschi
BibTeX entry: (Update)
U. Engberg and G. Winskel. Petri nets as models of linear logic. In A. Arnold, editor, Proceedings of CAAP '90. Springer LNCS 431, 1990. http://citeseer.ist.psu.edu/article/engberg90petri.html More
@inproceedings{ engberg90petri,
author = "U. Engberg and G. Winskel",
title = "{P}etri Nets as Models of Linear Logic",
booktitle = "Proceedings of Colloquium on Trees in Algebra and Programming",
publisher = "Springer-Verlag LNCS 389",
address = "Copenhagen, Denmark",
editor = "A. Arnold",
pages = "147--161",
year = "1990",
url = "citeseer.ist.psu.edu/article/engberg90petri.html" }
Citations (may not include all citations):215 Theoretical Computer Science (context) - Lafont, Abstract - 1988 ACM
215 Theoretical Computer Science (context) - Girard - 1987
87 volume 4 of EATCS Monographs on Theoretical Computer Science (context) - Reisig, An - 1985
15 Relating Petri Nets to Formulae of Linear Logic (context) - Brown - 1989
11 From Petri Nets to Linear Logic (context) - Mart'i-Oliet, Meseguer - 1989 ACM DBLP
9 Quantales and Non-Commutative Linear Logic (context) - Yetter
7 A Logic for Concurrency (context) - Asperti - 1987
6 Linear Logic and Lazy Computation (context) - Girard, Lafont - 1987
4 A Note on Girard Quantales (context) - Rosenthal
4 Manuscript reported to us by Per Martin-Lof (context) - Sambin
4 Notes by Steve Vickers (context) - Abramsky, Vickers et al. - 1988
3 A Proof-Theoretic Operational Semantics for True Concurrency (context) - Gunter, Gehlot - 1989
2 Technical Report ECS LFCS (context) - Brown, as - 1989
The graph only includes citing articles where the year of publication is known.
Documents on the same site (ftp://ftp.daimi.aau.dk/pub/Linear-Logic/): More
Linear Logic on Petri Nets - Engberg, Winskel (1994) (Correct)
Completeness Results for Linear Logic on Petri Nets.. - Engberg, Winskel (Correct)
Completeness Results for Linear Logic on Petri Nets.. - Engberg, Winskel (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC