Examples and Applications Iliano Cervesato Frank Pfenning David Walker Kevin...  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/~iliano/papers/ (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)
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