Iliano Cervesato, Andre Scedrov  Home/Search
Context
Related
| stanford.edu/~iliano/p...wollic06.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/~iliano/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. (Update)
Active bibliography (related documents): More All
3.0: The Logical Meeting Point of Multiset Rewriting and Process.. - Cervesato (2004) (Correct)
0.4: A Comparison between Strand Spaces and Multiset.. - Cervesato, Durgin.. (2002) (Correct)
0.4: A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (Correct)
Similar documents based on text:
6.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ cervesato-relating,
author = "Iliano Cervesato and Andre Scedrov",
title = "Relating State-Based and Process-Based Concurrency through Linear Logic",
url = "citeseer.ist.psu.edu/cervesato06relating.html" }
Citations (may not include all citations):2732 Communicating sequential processes (context) - Hoare - 1978 ACM DBLP
982 Theoretical Computer Science (context) - Girard - 1987 ACM
344 concurrent constraint programming (context) - Lincoln, Saraswat - 1993 ACM DBLP
340 Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991
299 Conditional rewriting logic as a unified model of concurrenc.. (context) - Meseguer - 1992 ACM
257 Logic programming in a fragment of intuitionistic linear log.. - Hodas, Miller - 1994 ACM DBLP
223 Linear objects: Logical processes with built-in inheritance - Andreoli - 1991 ACM
200 Pict: A programming language based on the picalculus - Pierce, Turner - 2000
178 Communicating and Mobile Systems: the #-Calculus (context) - Milner - 1999
143 Proving properties of security protocols by induction - Paulson - 1997 ACM DBLP
134 The NRL protocol analyzer: an overview - Meadows - 1994 DBLP
109 Programming by multiset transformation (context) - Banatre - 1993 ACM DBLP
104 A meta-notation for protocol analysis - Cervesato, Durgin et al. - 1999 ACM DBLP
94 Maude: Specification and programming in rewriting logic - Clavel, Duran et al. - 2001 DBLP
85 Kommunikation mit Automaten (context) - Petri - 1962
85 Coloured Petri nets (context) - Jensen - 1986 ACM DBLP
81 Calculus: a Theory of Mobile Processes (context) - Sangiorgi, Walker - 2001
69 calculus as a theory in linear logic: Preliminary results (context) - Miller, The - 1992
51 autonomous categories and cofree coalgebras (context) - Seely, Linear
49 ACL --- A concurrent linear logic programming paradigm - Kobayashi, Yonezawa - 1993
47 The reflexive CHAM and the join-calculus - Fournet, Gonthier - 1996 ACM DBLP
38 Structural cut elimination - Pfenning - 1995 ACM DBLP
34 A categorical linear framework for Petri nets (context) - Brown, Gurr - 1990 ACM DBLP
33 From Petri nets to linear logic (context) - Mart-Oliet, Meseguer - 1991 ACM DBLP
33 From Petri nets to linear logic (context) - Mart-Oliet, Meseguer - 1989 ACM DBLP
32 Petri nets as models of linear logic - Engberg, Winskel - 1990 ACM DBLP
32 Petri nets and linear logic: a case study for logic programm.. - Cervesato - 1995
31 Theoretical Computer Science (context) - Bellin, Scott - 1994 ACM
30 Fundamentals of a theory of asynchronous information flow (context) - Petri - 1963 DBLP
30 Typed MSR: Syntax and examples - Cervesato - 2001 DBLP
25 Nets as tensor theories (context) - Gunter, Gehlot - 1989
24 A concurrent logical framework I: Judgments and properties - Watkins, Cervesato et al. - 2002
20 Interpreting strands in linear logic - Cervesato, Durgin et al.
19 Laboratory for Foundations of Computer Sciences (context) - Barber, Dual - 1996
19 Theoretical Computer Science (context) - Abramsky - 1994 ACM
19 Linear logic as a logic of computation (context) - Kanovich - 1994
19 Linear logic as a logic of computation (context) - Kanovich - 1994
19 A concurrent logical framework II: Examples and applications - Cervesato, Pfenning et al. - 2002
17 A proof theory for generic judgments: An extended abstract (context) - Miller, Tiu DBLP
17 Linear lambda-calculus and categorical models revisited - Benton, Bierman et al. - 1993
17 A multiple-conclusion specification logic (context) - Miller - 1996
16 Petri nets as token objects: An introduction to elementary o.. (context) - Valk - 1998
16 Encoding transition systems in sequent calculus - McDowell, Miller et al. - 2003 ACM DBLP
9 Multiset rewriting and the complexity of bounded security pr.. - Durgin, Lincoln et al. ACM
8 Phase semantics and verification of concurrent constraint pr.. - Fages, Ruet et al. ACM DBLP
7 Relating Multiset Rewriting and Process Algebras for Securit.. (context) - Bistarelli, Cervesato et al. - 2005
6 Computer Science Department (context) - Asperti, for - 1987
5 Focussing proof-net construction as a middleware paradigm (context) - Andreoli - 2002 ACM DBLP
4 Encryption as an abstract data-type: An extended abstract - Miller - 2003
4 Process realizability - Abramsky DBLP
4 Cut-elimination for full intuitionistic linear logic - Brauner, de Paiva - 1996
4 A linear logic view of object Petri nets (context) - Farwer - 1999 ACM DBLP
3 Higher-order multiset programming (context) - Le Metayer - 1994
2 Dynamic modification of system structures using LLPNs (context) - Farwer, Misra - 2003 DBLP
2 Formalisation of classical mathematics in AUTOMATH (context) - Zucker - 1975
1 A proof theoretic approach to operational semantics (context) - Miller - 2005
1 A proof-theoretic semantics for true concurrency (context) - Gunter, Gehlot - 1989
1 A proof search specification of the #-calculus (context) - Tiu, Miller - 2004
1 ACM Transactions on Computational Logic (context) - Miller, Tiu et al. - 2005
Documents on the same site (http://theory.stanford.edu/~iliano/papers/): More
Cryptographically Sound Security Proofs for - Basic And Public-Key (Correct)
The Logical Meeting Point of Multiset Rewriting and Process.. - Cervesato (2004) (Correct)
Towards a Notion of Quantitative Security Analysis - Cervesato (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