| Alternate document: Details A concurrent logical framework I: Judgments and properties (03) Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker |
Iliano Cervesato, Frank Pfenning, David Walker, Kevin Watkins  Home/Search
Context Related
| stanford.edu/~ilia...mucs02102.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...byTypemain (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: CLF is a new logical framework with an intrinsic notion of concurrency. It is designed as a conservative extension of the linear logical framework LLF with the synchronous connectives , 1, !, and 9 of intuitionistic linear logic, encapsulated in a monad. LLF is itself a conservative extension of LF with the asynchronous connectives , & and >. (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)
Specifying Properties of Concurrent Computations in CLF - Watkins, Cervesato.. (2004) (Correct)
Similar documents (at the sentence level):
48.4%: A Concurrent Logical Framework II: - Examples And Applications (Correct)
47.9%: A Concurrent Logical Framework II: Examples and.. - Cervesato, Pfenning.. (2002) (Correct)
Active bibliography (related documents): More All
0.8: A Concurrent Logical Framework: the - Propositional Fragment Kevin (Correct)
0.7: A concurrent logical framework I: Judgments and.. - Watkins, Cervesato.. (2003) (Correct)
0.3: A Simplified Account of the Metatheory of Linear LF - Vanderwaart, Crary (2002) (Correct)
Similar documents based on text: More All
0.5: Explicit Substitutions for Linear Logical Frameworks.. - Cervesato, de Paiva.. (1999) (Correct)
0.5: A Linear Logical Framework - Cervesato, Pfenning (1996) (Correct)
0.4: CLF: A Dependent Logical Framework for Concurrent.. - Watkins, Cervesato.. (2004) (Correct)
Related documents from co-citation: More All
15: A concurrent logical framework I: Judgments and properties - Watkins, Cervesato et al. - 2002
13: Information and Computation (context) - Moggi, computation - 1991
12: Theoretical Computer Science (context) - Honsell, Miculan et al. - 2000
BibTeX entry: (Update)
Iliano Cervesato, Frank Pfenning, David Walker, and Kevin Watkins. A concurrent logical framework II: Examples and applications. Technical Report CMU-CS-02-102, Department of Computer Science, Carnegie Mellon University, 2002. Forthcoming. http://citeseer.ist.psu.edu/cervesato03concurrent.html More
@misc{ cervesato02concurrent,
author = "I. Cervesato and F. Pfenning and D. Walker and K. Watkins",
title = "A concurrent logical framework II: Examples and applications",
text = "Iliano Cervesato, Frank Pfenning, David Walker, and Kevin Watkins. A concurrent
logical framework II: Examples and applications. Technical Report CMU-CS-02-102,
Department of Computer Science, Carnegie Mellon University, 2002. Forthcoming.",
year = "2002",
url = "citeseer.ist.psu.edu/cervesato03concurrent.html" }
Citations (may not include all citations):450 Using encryption for authentication in large networks of com.. (context) - Needham, Schroeder - 1978
404 A calculus for cryptographic protocols: the spi calculus - Abadi, Gordon - 1999
317 IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
210 Logic programming in the LF logical framework - Pfenning - 1991
178 Communicating and Mobile Systems: the -Calculus (context) - Milner - 1999
136 System description: Twelf | a metalogical framework for dedu.. - Pfenning, Sch - 1999
109 Programming by multiset transformation (context) - Banatre, LeMetayer - 1993
77 Dual intuitionistic linear logic (context) - Barber - 1996
69 calculus as a theory in linear logic: Preliminary results (context) - Miller - 1992
63 Concurrent Programming in ML (context) - Reppy - 1999
51 A relevant analysis of natural deduction - Ishtiaq, Pym - 1998
47 Logical frameworks - Pfenning - 2001
43 A survey of the project AUTOMATH (context) - de Bruijn - 1980
35 From Petri nets to linear logic (context) - Mart, Meseguer - 1991
35 On equivalence and canonical forms in the LF type theory - Harper, Pfenning - 2000
35 Normal process representatives (context) - Gehlot, Gunter - 1990
33 A preliminary version appeared in the Proceedings of the Six.. (context) - Hodas, Miller et al. - 1991
32 Petri nets and linear logic: a case study for logic programm.. - Cervesato - 1995
32 Petri nets as models of linear logic - Engberg, Winskel - 1990
31 Zero-safe nets: Comparing the collective and individual toke.. - Bruni, Montanari - 2000
30 ato and Frank Pfenning. A linear logical framework. Informat.. (context) - Cerves - 1998
30 Typed MSR: Syntax and examples - Cervesato - 2052
27 A framework for de ning logics (context) - Harper, Honsell et al. - 1993
24 A concurrent logical framework I: Judgments and properties - Watkins, Cervesato et al. - 2002
22 and proof irrelevance in modal type theory (context) - Pfenning, extensionality - 2001
14 Multilisp: A language for parallel symbolic computation (context) - Halstead - 1985
11 ur Instrumentelle Mathematik (context) - Petri, Automaten et al. - 1962
10 Logical frameworks (context) - Basin, an - 2001
8 A speci cation language for crypto-protocol based on multise.. (context) - Cervesato - 2001
4 A simpli ed account of the metatheory of linear LF - Vanderwaart, Crary - 2000
3 A brief introduction to coloured Petri nets (context) - Jensen - 1997
2 True versus arti cial concurrency (context) - Mazurkiewicz - 1995
2 ETACS Monographs on Theoretical Computer Science (context) - Reisig, an - 1985
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://theory.stanford.edu/~iliano//byType-main.html): More
Solution Count for Multiset Unification with Trailing Multiset.. - Cervesato (Correct)
A Formal Analysis of Some Properties of Kerberos 5 Using .. - Butler, Cervesato.. (2002) (Correct)
A Fault-Tree Representation of NPATRL Security Requirements - Cervesato, Meadows (2003) (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