| Alternate document: Details Nomadic π-Calculi: Expressing and Verifying Communication Infrastructure for Mobile Computation (01) Asis Unyapoth |
Asis Unyapoth, Peter Sewell  Home/Search
Context Related
Links: DBLP | cl.cam.ac.uk/users...nproofspopl.ps.gz cl.cam.ac.uk/~pes2...nproofspopl.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: cl.cam.ac.uk/users/...nomadicpict (more) Homepages: A.Unyapoth |
Rate this article:      (best)Comment on this article |
Abstract: This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. They can be classified into two groups. At a low level there are location dependent primitives that require a programmer to know the current site of a mobile agent in order to communicate with it. At a high level there are location independent primitives that allow communication with a mobile agent irrespective of any... (Update)
Cited by: More
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) (Correct)
Unknown - (Correct)
Explicit Fusions - Wischik, Gardner (2000) (Correct)
Similar documents (at the sentence level): More
65.0%: Nomadic Pict: Correct Communication Infrastructure for.. - Unyapoth, Sewell (2001) (Correct)
28.4%: Nomadic π-Calculi: Expressing and Verifying Communication.. - Unyapoth (2001) (Correct)
6.2%: Nomadic Pict: Language and Infrastructure Design for Mobile.. - Wojciechowski (2000) (Correct)
Active bibliography (related documents): More All
0.3: Operational Congruences for Reactive Systems - Leifer (2001) (Correct)
0.3: Multistep Methods Integrating Ordinary Differential .. - Faltinsen.. (1999) (Correct)
0.2: The Join Calculus: A Language for Distributed Mobile Programming - Fournet, Gonthier (2000) (Correct)
Similar documents based on text: More All
0.7: Algorithms for Location-Independent Communication between.. - Wojciechowski (2001) (Correct)
0.3: The Nomadic Pict System Release 1.0a - Documentation And.. - Wojciechowski (2000) (Correct)
0.1: Foundations of Distributed Programming Languages - Sewell (1998) (Correct)
Related documents from co-citation: More All
7: Information and Computation (context) - Milner, Parrow et al. - 1992
7: On reduction-based process semantics - Honda, Yoshida - 1995
6: Controlling interference in ambients - Levi, Sangiorgi - 2000
BibTeX entry: (Update)
A. Unyapoth and P. Sewell. Nomadic Pict: Correct communication infrastructure for mobile computation. In Proceedings of POPL http://citeseer.ist.psu.edu/unyapoth01nomadic.html More
@article{ unyapoth01nomadic,
author = "Asis Unyapoth and Peter Sewell",
title = "Nomadic pict: correct communication infrastructure for mobile computation",
journal = "ACM SIGPLAN Notices",
volume = "36",
number = "3",
pages = "116--127",
year = "2001",
url = "citeseer.ist.psu.edu/unyapoth01nomadic.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992 DBLP
410 Mobile ambients - Cardelli, Gordon - 1998 ACM DBLP
291 A calculus of mobile agents - edric, Georges et al. ACM DBLP
205 Mobile agents: Are they a good idea - Chess, Harrison et al. - 1997
200 Pict: A programming language based on the picalculus - Pierce, Turner - 2000
149 Testing equivalences for processes (context) - de Nicola, Hennessy - 1984 DBLP
116 Mathematical Structures in Computer Science (context) - Pierce, Sangiorgi et al. - 1996
116 A typed language for distributed mobile processes - Riely, Hennessy - 1998
108 Linearity and the pi-calculus - Kobayashi, Pierce et al. ACM DBLP
88 Mobility types for mobile ambients - Cardelli, Ghelli et al. - 1999 ACM DBLP
73 Comparing the expressive power of the synchronous and the as.. - Palamidessi - 1997
61 weak bisimulation up to (context) - Sangiorgi, Milner et al. - 1992
60 Decoding choice encodings - Nestmann, Pierce
59 The name discipline of uniform receptiveness - Sangiorgi - 1999
56 Nomadic Pict: Language and Infrastructure Design for Mobile .. - Wojciechowski - 2000
56 Nomadic Pict: Language and infrastructure design for mobile .. - Wojciechowski, Sewell - 2000
39 local subtyping and capability inference for a distributed p.. (context) - Sewell - 1998
32 Location independence for mobile agents - Sewell, Wojciechowski et al. - 1998
31 Towards a calculus of secure mobile computations - Vitek, Castagna - 1998
28 On implementations and semantics of a concurrent programming.. - Sewell - 1997 ACM DBLP
23 Authentication primitives and their compilation - Abadi, edric et al. - 2000 ACM DBLP
21 Distributed Directory Service and Message Router for Mobile .. - Moreau - 1999
18 The re- exive chemical abstract machine and the joincalculus (context) - edric, Georges
15 and Tsung-Min Kuo (context) - Thomsen, Leth
12 Mobile UNITY coordination constructs applied to packet forwa.. - McCann, Roman - 1997 ACM DBLP
10 Modelling IP mobility - Amadio, Prasad - 1998 ACM DBLP
9 Multiway synchronization veried with coupled simulation (context) - Parrow, Sjodin - 1992
7 Computer Science Department (context) - Jackson, Ng et al. - 1998
6 ACM SIGPLAN Notices (context) - Cardelli - 1997
3 University of Cambridge (context) - Sewell, tutorial et al. - 2000
2 th International Conference (context) - Concurrency - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cl.cam.ac.uk/users/pes20/nomadicpict.html): More
Nomadic Pict: Language and Infrastructure Design for Mobile.. - Wojciechowski (2000) (Correct)
The Nomadic Pict System Release 1.0a - Documentation And.. - Wojciechowski (2000) (Correct)
Nomadic π-Calculi: Expressing and Verifying Communication.. - Unyapoth (2001) (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