Tom Murphy VII, Karl Crary, Robert Harper, Frank Pfenning  Home/Search
Context Related
| cmu.edu/~tom7/pape...cssymmetric.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: cmu.edu/~tom7/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a foundational language for spatially 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.7: A Symmetric Modal Lambda Calculus for Distributed.. - Murphy VII.. (2004) (Correct)
0.3: A Symmetric Modal Lambda Calculus for Distributed - Computing Tom Murphy (Correct)
0.3: Distributed Control Flow with Classical Modal Logic - Murphy VII, Crary, Harper (2005) (Correct)
Similar documents based on text: More All
0.2: Safe and Flexible Dynamic Linking of Native Code - Hicks, Weirich, Crary (2000) (Correct)
0.2: The Wizard of TILT: Efficient, Convenient, and Abstract.. - Murphy, Harper, Crary (2001) (Correct)
0.2: Trustless Grid Computing in ConCert - Bor-Yuh Evan Chang (2002) (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/murphy04symmetric.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/murphy04symmetric.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
36 Time and Modality (context) - Prior - 1957
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 - 2004
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
16 A symmetric modal lambda calculus for distributed computing - Murphy, Karl et al. - 2004
4 Almquist and Wiksell (context) - Kanger, Logic - 1957
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-2.cs.cmu.edu/~tom7/papers/): More
Linear Type Systems for Communication - Murphy (2001) (Correct)
Programming with Recursion Schemes - Wang, Murphy VII (Correct)
A Symmetric Modal Lambda Calculus for Distributed Computing - VII, Crary, Harper, Pfenning (2004) (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