Peter O'Hearn And Hongseok Yang  Home/Search
Context
Related
| dcs.qmw.ac.uk/lfp/ohearn/petri.ps 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: dcs.qmw.ac.uk/~ohearn (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Engberg and Winskel's Petri net semantics of linear logic is re-considered, from the point of view of the logic BI of bunched implications. We first show how BI can be used to overcome a number of difficulties pointed out by Engberg and Winskel, and we argue that it provides a more natural logic for the net semantics. We then briefly consider a more expressive logic based on an extension of BI with classical and modal features. (Update)
Similar documents (at the sentence level):
72.3%: Petri Net Semantics of Bunched Implications - O'Hearn, Yang (Correct)
Active bibliography (related documents): More All
0.7: The Logic of Bunched Implications - O'Hearn, Pym (1999) (Correct)
0.4: Possible Worlds and Resources: The Semantics of BI - O'Hearn, Pym, Yang (2000) (Correct)
0.3: Applications of Linear Logic to Computation: An Overview - Alexiev (1993) (Correct)
Similar documents based on text: More All
0.3: BI as an Assertion Language for Mutable Data Structures - Ishtiaq, O'Hearn (2000) (Correct)
0.2: An Architecture for a Rational Reactive Agent - Pierangelo Dell'acqua Mattias (Correct)
0.2: Local Reasoning about Programs that Alter Data Structures - O'Hearn, Reynolds, Yang (2001) (Correct)
BibTeX entry: (Update)
@misc{ o'hearn-petri,
author = "Peter O'Hearn And Hongseok Yang",
title = "Petri Net Semantics of Bunched Implications",
url = "citeseer.ist.psu.edu/242741.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987 ACM
725 Temporal and modal logic (context) - Emerson - 1990
233 Computational interpretations of linear logic - Abramsky - 1993 ACM DBLP
202 Modal and temporal logics (context) - Stirling - 1992 ACM
146 EATCS Monographs on Theoretical Computer Science (context) - Reisig, North - 1985
95 Verification of Sequential and Concurrent Programs (context) - Apt, Olderog - 1991 ACM
62 modal logics for mobile ambients (context) - Cardelli, Gordon et al. - 2000
48 Semantical analysis of intuitionistic logic (context) - Kripke - 1965
45 The semantics and proof theory of the logic of bunched impli.. (context) - Pym - 1999
38 From Petri nets to linear logic through categories: A survey (context) - Mart'i-Oliet, Meseguer - 1991
38 Interaction categories and communicating sequential processe.. (context) - Abramsky - 1994 ACM
35 From Petri nets to linear logic (context) - Mart'i-Oliet, Meseguer - 1989
34 A categorical linear framework for Petri nets (context) - Brown, Gurr - 1990
33 The logic of bunched implications - O'Hearn, Pym
32 Petri nets as models of linear logic - Engberg, Winskel - 1990
30 Relating theories of the lambda calculus (context) - Scott - 1980
30 A historical introduction to substructural logics (context) - Dosen
26 Completeness results for linear logic on Petri nets - Engberg, Winskel - 1993 ACM DBLP
25 Nets as tensor theories (context) - Gehlot, Gunter - 1989
24 Mathematical Structures in Computer Science (context) - Abramsky, Vickers et al. - 1993
23 A linear specification language for Petri nets (context) - Brown, Gurr et al. - 1991
15 Relevance logic and concurrent composition (context) - Dam - 1990
13 Temporal logic and causality in concurrent systems (context) - Reisig - 1988 ACM DBLP
12 Oxford University Press (context) - Dosen, Heister et al. - 1993
11 Toward a temporal logic of causality and choice in distribut.. (context) - Reisig - 1988
10 Life in the undistributed middle (context) - Belnap
9 Categorical Topics in Computer Science (context) - Asperti - 1990
9 Linear Logic and Petri Nets: Categories (context) - Brown - 1990
6 An embedding theorem for closed categories (context) - Day - 1974
4 bunched implications and the ff- calculus (context) - O'Hearn - 1999
4 Mathematical Foundations and Computational Aspects (context) - Gabbay, Hodkinson et al. - 1994
2 Temporal logic specifications for concurrent processes (context) - Kanovich, Ito - 1997
Documents on the same site (http://www.dcs.qmw.ac.uk/~ohearn): More
Resource Interpretations, Bunched Implications and the.. - O'Hearn (Correct)
Logic Column 6 - Column Editor Jon (Correct)
Petri Net Semantics of Bunched Implications - O'Hearn, Yang (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