Tom Murphy VII Carnegie Mellon Karl Crary Carnegie Mellon...  Home/Search
Context Related
| cmu.edu/~crary/pap...symmetriclics.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: cmu.edu/~crary/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a foundational language for distributed programming, called Lambda 5, that addresses both mobility of code and locality of resources. (Update)
Cited by: More
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) (Correct)
Distributed Control Flow - With Classical Modal (Correct)
Contextual Model Type Theory - Nanevski, Pfenning, Pientka (2005) (Correct)
Active bibliography (related documents): More All
0.4: A Symmetric Modal Lambda Calculus for Distributed.. - Murphy VII.. (2004) (Correct)
0.3: A Symmetric Modal Lambda Calculus for Distributed - Computing Tom Murphy (2005) (Correct)
0.2: Distributed Control Flow with Classical Modal Logic - Murphy VII, Crary, Harper (2005) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
Related documents from co-citation: More All
15: Modal proofs as distributed programs (context) - Jia, Walker - 2003
14: Modal logic as a basis for distributed computation (context) - Moody - 2003
11: System description: Twelf --- a meta-logical framework for deductive systems - Pfenning, Schurmann - 1999
BibTeX entry: (Update)
Tom Murphy, VII, Karl Crary, Robert Harper, and Frank Pfenning. A symmetric modal lambda calculus for distributed computing. Technical Report CMU-CS-04-105, Carnegie Mellon University, Mar 2004. http://citeseer.ist.psu.edu/article/murphy05symmetric.html More
@misc{ murphy04symmetric,
author = "T. Murphy and V. Karl and C. Robert and H. Frank",
title = "A symmetric modal lambda calculus for distributed computing",
text = "Tom Murphy, VII, Karl Crary, Robert Harper, and Frank Pfenning. A symmetric
modal lambda calculus for distributed computing. Technical Report CMU-CS-04-105,
Carnegie Mellon University, Mar 2004.",
year = "2004",
url = "citeseer.ist.psu.edu/article/murphy05symmetric.html" }
Citations (may not include all citations):136 System description: Twelf -- a meta-logical framework for de.. - Pfenning, Schurmann - 1999
118 A spatial logic for concurrency - Caires, Cardelli - 2001
118 A spatial logic for concurrency - Caires, Cardelli - 2002
84 Mathematical Structures in Computer Science (context) - Pfenning, Davies et al. - 2001
70 the meanings of the logical constants and the justifications.. (context) - Martin-Lof - 1996
62 modal logics for mobile ambients (context) - Cardelli, Gordon et al. - 2000
35 calculus: A higher-order distributed process calculus (context) - Schmitt, Stefani - 2003
26 Information and Computation (context) - Pfenning, elimination et al. - 2000
24 Modal proofs as distributed programs (context) - Jia, Walker - 2003
23 Modal logic as a basis for distributed computation (context) - Moody - 2003
22 The Proof Theory and Semantics of Intuitionistic Modal Logic (context) - Simpson - 1994
19 SafeDPi: A language for controlling mobile code - Hennessy, Rathke et al. - 2003
18 A constructive logic for services and information flow in co.. (context) - Borghuis, Feijs - 2000
18 A coverage checking algorithm for LF - Schurmann, Pfenning - 2003
http://www.cs.cmu.edu/concert/
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.cmu.edu/~crary/papers/): More
From System F to Typed Assembly Language - Morrisett, Walker, Crary, Glew (1998) (Correct)
From System F to Typed Assembly Language - Morrisett, Walker, Crary, Glew (1998) (Correct)
Principles and a Preliminary Design for ML2000 - Group (1999) (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