Iliano Cervesato  Home/Search
Context Related
| stanford.edu/~iliano/pap...gulp95.ps.gz stanford.edu/~iliano/pap...gulp95.ps.gz 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: stanford.edu/~ilian...byYearmain (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The paper reports on an experiment with the major linear logic programming languages defined in the recent years: Lolli, LO and Forum. As a case study, we consider the representation of a class of Petri nets, P/T ! nets, in each of these languages. Keywords: Petri nets, multiset rewriting systems, linear logic, logic programming. 1 Introduction The relationship between linear logic [4] and Petri Nets [8] has been a major object of investigation [2, 3, 6]. It was soon noticed that the... (Update)
Cited by: More
Relating State-Based and Process-Based Concurrency through.. - Cervesato, Scedrov (2006) (Correct)
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (Correct)
The Logical Meeting Point of Multiset Rewriting and Process.. - Cervesato (2004) (Correct)
Similar documents (at the sentence level):
25.2%: Petri Nets as Multiset Rewriting Systems in a Linear Framework - Cervesato (1994) (Correct)
Active bibliography (related documents): More All
0.1: Interpreting Strands in Linear Logic - Cervesato, Durgin, Kanovich.. (2000) (Correct)
0.1: Petri Nets as Models of Linear Logic - Engberg, Winskel (1990) (Correct)
0.1: Linear Logic on Petri Nets - Engberg, Winskel (1994) (Correct)
Similar documents based on text: More All
0.2: Lollipops taste of Vanilla too (extended abstract) - Cervesato (1994) (Correct)
0.1: Modal Event Calculus in Lolli - Cervesato, Chittaro, Montanari (1994) (Correct)
0.1: A General Modal Framework for the Event Calculus and its.. - Cervesato, Montanari (1996) (Correct)
Related documents from co-citation: More All
28: Theoretical Computer Science (context) - Girard - 1987
23: calculus as a theory in linear logic: Preliminary results (context) - Miller - 1992
18: Communicating and Mobile Systems: The -Calculus (context) - Milner - 1999
BibTeX entry: (Update)
I. Cervesato. Petri Nets and Linear Logic: a case study for logic programming. In Proc. of GULP-PRODE'95, pages 313--318, 1995. http://citeseer.ist.psu.edu/cervesato95petri.html More
@inproceedings{ cervesato95petri,
author = "I. Cervesato",
title = "{Petri} Nets and Linear Logic: a case study for logic programming",
booktitle = "Joint Conference on Declarative Programming: {GULP}-{PRODE}'95",
address = "Marina di Vietri, Italy",
year = "1995",
url = "citeseer.ist.psu.edu/cervesato95petri.html" }
Citations (may not include all citations):257 Logic Programming in a Fragment of Intuitionistic Linear Log.. - Hodas, Miller - 1994 ACM DBLP
242 Linear Logic (context) - Girard - 1987 ACM DBLP
223 Linear Objects: Logical Processes with Built-in Inheritance - Andreoli, Pareschi - 1990 ACM
168 Petri Nets, an Introduction (context) - Reisig - 1985
81 A Multiple-Conclusion Meta-Logic - Miller - 1994 DBLP
35 From Petri Nets to Linear Logic (context) - Mart'i-Oliet, Meseguer - 1989 ACM DBLP
7 A logic for Concurrency (context) - Asperti - 1987
1 Petri Nets as Multiset Rewriting Systems in a Linear Framewo.. - Cervesato
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://theory.stanford.edu/~iliano/byYear-main.html): More
Efficient Resource Management for Linear Logic Proof Search - Cervesato, al. (1996) (Correct)
Modal Event Calculus - Cervesato, al. (1994) (Correct)
Modal Event Calculi with Preconditions - Cervesato, Franceschet, Montanari (1997) (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