Ruy Ley-Wild, Frank Pfenning  Home/Search
Context
Related
| cmu.edu/afs/cs/user/fp/w...clfirr06b.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: cmu.edu/afs/cs/user/fp/www/pap... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The Concurrent Logic Framework (CLF) is a foundational type theory for encoding concurrent computations by representing resources with linearity and encapsulating the effects of concurrency in a monad. The definition of concurrent equality via commuting conversions identifies computations differing only in the order of execution of independent steps, capturing a form of true concurrency in a proof-theoretic way. However, some examples suffer from spurious dependencies whereby independent... (Update)
Active bibliography (related documents): More All
0.6: Monadic Concurrent Linear Logic Programming - Lopez, Pfenning, Polakow, Watkins (2005) (Correct)
0.2: Consumable Credentials in Logic-Based Access Control - Bauer, Bowers, Pfenning.. (2006) (Correct)
0.2: Type-Directed Concurrency - Deepak Garg And (Correct)
Similar documents based on text:
6.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ ley-wild-avoiding,
author = "Ruy Ley-Wild and Frank Pfenning",
title = "Avoiding Causal Dependencies via Proof Irrelevance in a Concurrent Logical
Framework",
url = "citeseer.ist.psu.edu/ley-wild06avoiding.html" }
Citations (may not include all citations):2732 Communicating sequential processes (context) - Hoare - 1978 ACM DBLP
434 A framework for defining logics - Harper, Honsell et al. - 1993 ACM DBLP
291 Computational lambda-calculus and monads - Moggi - 1989 ACM DBLP
242 Linear logic (context) - Girard - 1987 ACM DBLP
92 Concurrent program schemes and their interpretations (context) - Mazurkiewicz - 1977
90 A linear logical framework - Cervesato, Pfenning - 2002 ACM DBLP
30 Fundamentals of a theory of asynchronous information flow (context) - Petri - 1962 DBLP
26 University of Edinburgh (context) - Winskel, Computation - 1980
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
17 The pomset model of parallel processes: Unifying the tempora.. (context) - Pratt - 1984 ACM DBLP
13 Proof nets for unitfree multiplicative-additive linear logic - Hughes, van Glabbeek - 2003
9 A concurrent logical framework: The propositional fragment - Watkins, Cervesato et al. - 2004
4 Monadic concurrent linear logic programming - Lopez, Pfenning et al. - 2005
2 Substructural operational semantics and linear destination-p.. (context) - Pfenning - 2004
1 CLF: A logical framework for concurrent systems (context) - Watkins - 2003
Documents on the same site (http://www.cs.cmu.edu/afs/cs/user/fp/www/papers/): More
Linear Higher-Order Pre-Unification - Cervesato, Pfenning (1997) (Correct)
System Description: Twelf - A Meta-Logical Framework for.. - Pfenning, Schürmann (1999) (Correct)
On Equivalence and Canonical Forms in the LF Type Theory.. - Harper, Pfenning (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