See this document in CiteSeerX!

A Concurrent Logical Framework II:  (Make Corrections)  
Examples and Applications Iliano Cervesato Frank Pfenning David Walker Kevin...



  Home/Search   Context   Related

 
View or download:
stanford.edu/~ilia...mucs02102.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  stanford.edu/~iliano/papers/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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)

Similar documents (at the sentence level):
47.9%:   A Concurrent Logical Framework II: Examples and.. - Cervesato, Pfenning.. (2002)   (Correct)

Active bibliography (related documents):   More   All
0.1:   A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003)   (Correct)
0.1:   Appligraph: Applications of Graph Transformation - Final Report - Kreowski, (eds.) (2002)   (Correct)
0.1:   Executing Transactions in Zero-Safe Nets - Bruni, Montanari (2000)   (Correct)

Similar documents based on text:
0.0:   Unknown -   (Correct)

BibTeX entry:   (Update)

@misc{ examples-concurrent,
  author = "Examples And Applications",
  title = "A Concurrent Logical Framework II:",
  url = "citeseer.ist.psu.edu/766015.html" }
Citations (may not include all citations):
404   A calculus for cryptographic protocols: the spi calculus - Abadi, Gordon - 1999
109   Programming by multiset transformation (context) - Banatre, LeMetayer - 1993  ACM   DBLP
77   Dual intuitionistic linear logic (context) - Barber - 1996
31   Zero-safe nets: Comparing the collective and individual toke.. - Bruni, Montanari - 2000  DBLP
10   Logical frameworks (context) - Basin, an - 2001  ACM   DBLP
10   A comparison of Petri net semantics under the collective tok.. - Bruni, Meseguer et al. - 1998  ACM   DBLP

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