See this document in CiteSeerX!

Nomadic π-Calculi: Expressing and Verifying Communication Infrastructure for Mobile Computation (2001)  (Make Corrections)  
Asis Unyapoth



  Home/Search   Context   Related

 
View or download:
cl.cam.ac.uk/users...au.cltr514.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cl.cam.ac.uk/users/...nomadicpict (more)
(Enter author homepages)

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

Abstract: This thesis addresses the problem of verifying distributed 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... (Update)

Active bibliography (related documents):   More   All
0.9:   Nomadic Pict: Correct Communication Infrastructure for.. - Unyapoth, Sewell (2001)   (Correct)
0.8:   Resource Access and Mobility Control with Dynamic Privileges.. - Gorla, Pugliese (2003)   (Correct)
0.8:   Decoding Choice Encodings - Nestmann, Pierce (1999)   (Correct)

Similar documents based on text:   More   All
0.3:   Nomadic Pict: Language and Infrastructure Design for Mobile.. - Wojciechowski (2000)   (Correct)
0.1:   Nomadic Pict: Language and Infrastructure Design for Mobile.. - Wojciechowski, Sewell (1999)   (Correct)
0.1:   Resource Control in Network Elements - Donnelly (2002)   (Correct)

BibTeX entry:   (Update)

@phdthesis{ unyapoth01nomadic,
    author = "Asis Unyapoth",
    title = "Nomadic $\pi$-Calculi: Expressing and Verifying Communication Infrastructure for Mobile Computation",
    year = "2001",
    url = "citeseer.ist.psu.edu/article/unyapoth01nomadic.html" }
Citations (may not include all citations):
2732   Communicating Sequential Processes (context) - Hoare - 1985  ACM   DBLP
1933   Communication and Concurrency (context) - Milner - 1989  ACM
739   Impossibility of distributed consensus with one faulty proce.. (context) - Fischer, Lynch et al. - 1985  ACM   DBLP
718   Distributed Algorithms (context) - Lynch - 1996  ACM
716   Parallel Program Design : a Foundation (context) - Chandy, Misra - 1988
650   An axiomatic basis for computer programming (context) - Hoare - 1969  ACM   DBLP
566   Proof-carrying code - Necula
414   Unreliable failure detectors for reliable distributed system.. - Chandra, Toueg - 1996  ACM   DBLP
412   A survey of active network research - Tennenhouse, Smith et al. - 1997
410   Mobile ambients - Cardelli, Gordon - 1998
405   Fine-grained mobility in the Emerald system - Jul, Levy et al. - 1988  ACM   DBLP
397   on Object Request Broker Architecture: Architecture and spec.. - Comm - 1996
375   ACM Transactions on Programming Languages and Systems (context) - Gelernter, in - 1985
357   Algebraic laws for nondeterminism and concurrency (context) - Hennessy, Milner - 1985  ACM   DBLP
322   volume 92 of Lecture Notes in Computer Science (context) - Milner, of et al. - 1980
311   Abstract types have existential type (context) - Mitchell, Plotkin - 1988  ACM   DBLP
297   A calculus of mobile processes (context) - Milner, Parrow et al. - 1992
293   Hierarchical correctness proofs for distributed algorithms - Lynch, Tuttle - 1987  ACM   DBLP
291   A calculus of mobile agents - edric, Georges et al.  ACM   DBLP
271   The Oz programming model - Smolka - 1995  ACM   DBLP
254   Theoretical Computer Science (context) - erard, erard et al. - 1992  ACM
250   Some computer science issues in ubiquitous computing (context) - Weiser - 1993
248   Expressing Mobility (context) - Sangiorgi - 1993
241   Transparent process migration: Design alternatives and the s.. - Douglis, Ousterhout - 1991  DBLP
232   The Concurrency Workbench: A semantics-based tool for the ve.. - Cleaveland, Parrow et al. - 1993
225   The Sprite Network Operating System - Ousterhout, Cherenson et al. - 1987  ACM   DBLP
223   The challenges of mobile computing - Forman, Zahorjan - 1994  ACM   DBLP
216   Theoretical Computer Science (context) - Milner, Parrow et al. - 1993  ACM
205   Mobile agents: Are they a good idea - Chess, Harrison et al. - 1997
201   Telescript technology: The foundation for the electronic mar.. (context) - White - 1995
200   Pict: A programming language based on the pi-calculus - Pierce, Turner - 2000
197   Barbed bisimulation - Milner, Sangiorgi - 1992  ACM   DBLP
196   Programming and Deploying Java Mobile Agents with Aglets (context) - Lange, Oshima - 1998
187   HOL: A proof generating system for higher-order logic (context) - Gordon - 1987
185   De nition of Standard ML (context) - Milner, Tofte et al. - 1990
157   Proving the correctness of multiprocess programs (context) - Lamport - 1977  DBLP
153   The Java Language Speci cation (context) - Gosling, Joy et al. - 1997
149   Testing equivalences for processes (context) - de Nicola, Hennessy - 1984  DBLP
149   calculus: A tutorial (context) - Milner - 1991
143   The Coq proof assistant user's guide (context) - Dowek, Felty et al. - 1993
139   introduction to inputoutput automata (context) - Lynch, introduction et al. - 1988
138   Understanding code mobility - Fuggetta, Picco et al. - 1998  ACM   DBLP
120   The Java Virtual Machine Speci cation (context) - Lindholm, Yellin - 1997
117   Klaim: a kernel language for agents interaction and mobility - de Nicola, Ferrari et al. - 1997  DBLP
116   A typed language for distributed mobile processes - Riely, Hennessy - 1998
116   Mathematical Structures in Computer Science (context) - Pierce, Sangiorgi et al. - 1996
115   An asynchronous model of locality (context) - Amadio - 1997
114   The Polymorphic Pi-Calculus: Theory and Implementation - Turner - 1996
108   Linearity and the pi-calculus - Kobayashi, Pierce et al.  ACM   DBLP
101   Supporting checkpointing and process migration outside the U.. (context) - Litzkow, Solomon - 1992  ACM
97   The design and implementation of mobile internetworking arch.. - Ioannidis, Jr - 1993
95   Forward and backward simulations part I: Untimed systems - Lynch, Vaandrager - 1994
94   Seal: A framework for secure mobile computations - Vitek, Castagna - 1999  DBLP
93   Designing a process migration facility: The Charlotte experi.. - Artsy, Finkel - 1989  DBLP
91   Operating system support for mobile agents - Johansen, Van Renesse et al. - 1994  ACM
89   Lime: Linda Meets Mobility - Picco, Murphy et al. - 1999  DBLP
88   Mobility types for mobile ambients - Cardelli, Ghelli et al. - 1999  ACM   DBLP
82   anywhere: Modal logics for mobile ambients (context) - Cardelli, Gordon
79   Sumatra: a language for resource aware mobile programs - Acharya, Ranganathan et al. - 1997
75   Trust and partial typing in open systems of mobile agents - Riely, Hennessy - 1999  ACM   DBLP
74   Abstractions for mobile computations - Cardelli - 1999  ACM
73   Comparing the expressive power of the synchronous and the as.. - Palamidessi
72   Ambient groups and mobility types - Cardelli, Ghelli et al. - 2000  ACM   DBLP
72   A semantics for ML concurrency primitives - Berry, Milner et al. - 1992  ACM   DBLP
71   The NCSU Concurrency Workbench - Cleaveland, Sims - 1996  ACM   DBLP
61   A distributed load balancing policy for a multicomputer (context) - Barak, Shiloh - 1985
61   The Fusion Calculus: Expressiveness and symmetry in mobile p.. - Parrow, orn  DBLP
61   The Fusion Calculus: Expressiveness and Symmetry in Mobile P.. - orn - 1998
61   Localities and failures - Amadio, Prasad - 1994
60   Decoding choice encodings - Nestmann, Pierce - 1997  ACM   DBLP
59   The name discipline of uniform receptiveness - Sangiorgi - 1999  ACM   DBLP
57   Subtyping and locality in distributed higher order processes - Yoshida, Hennessy
56   Behavioral equivalence in the polymorphic pi-calculus - Pierce, Sangiorgi  ACM   DBLP
56   INRIA Sophia-Antipolis (context) - erard, Asynchrony et al. - 1992
56   Nomadic Pict: Language and Infrastructure Design for Mobile .. - Wojciechowski - 2000
55   Facile antigua release programming guide (context) - Thomsen, Leth et al. - 1993
55   Inside Distributed COM (context) - Eddon, Eddon - 1998  ACM
52   The lazy lambda calculus in a concurrency scenario - Sangiorgi - 1994  ACM   DBLP
49   Petri nets (context) - Reisig - 1985  ACM   DBLP
48   Reasoning about cryptographic protocols in the Spi calculus - Abadi, Gordon  ACM   DBLP
47   Equational Properties of Mobile Ambients - Gordon, Cardelli - 1999  ACM   DBLP
47   Logical properties of name restriction (context) - Cardelli, Gordon - 2001  DBLP
46   Bauhaus Linda (context) - Carriero, Gelernter et al. - 1995  ACM   DBLP
45   A theory of weak bisimulation for core CML - Ferreira, Hennessy et al. - 1998  ACM   DBLP
42   Distributed processes and location failures - Riely, Hennessy - 1997  ACM   DBLP
42   Globallocal subtyping and capability inference distributed p.. - Sewell, subtyping et al. - 1998
41   i and Cedric Fournet. Mobile values, new names, and secure .. (context) - Abad
41   A foundation for higher-order concurrent constraint programm.. - Smolka - 1994  ACM   DBLP
39   An adaptive totally ordered multicast protocol that tolerate.. - Chockler - 1997  ACM   DBLP
39   Algebraic Theory of Processes (context) - Hennessey - 1988  ACM
39   Secure composition of insecure components - Sewell, Vitek - 1999  ACM   DBLP
38   The Join-Calculus: A Calculus for Distributed Mobile Program.. (context) - edric - 1998
37   A generic type system for the picalculus - Igarashi, Kobayashi
37   Specifying and using a partionable group communication servi.. (context) - Fekete, Lynch et al. - 1998
34   Theoretical Computer Science (context) - Amadio, Castellani et al. - 1998
34   Jocaml: Mobile agents for ObjectiveCaml - Conchon, Le Fessant - 1999
34   Bisimulation in higher-order process calculi - Sangiorgi - 1995  ACM   DBLP
32   Sun Microsystems Laboratories (context) - Waldo, Wyant et al. - 1994
31   A calculus with code mobility - Sekiguchi, Yonezawa - 1997  ACM
31   IBM Systems Journal (context) - Wycko, McLaughry et al. - 1998
31   Towards a calculus of secure mobile computations - Vitek, Castagna - 1998
30   Some chemical abstract machines (context) - erard - 1994  ACM   DBLP
29   Mobile objects and agents (context) - Miloji, Condict et al. - 1996
28   On implementations and semantics of a concurrent programming.. - Sewell  ACM   DBLP
28   Concurrency and automata on in nite sequences (context) - Park - 1981
27   The integration project for the JACK environment (context) - Bouali, Gnesi et al. - 1994
23   Authentication primitives and their compilation - Abadi, edric et al.
22   A small calculus for concurrent objects (context) - Honda, Tokoro - 1991  ACM   DBLP
21   Distributed Directory Service and Message Router for Mobile .. - Moreau - 1999
21   The Mobility Workbench | a tool for the - calculus (context) - orn, Faron - 1994
21   branching time spectrum (context) - van Glabbeek, time - 1990
20   Reasoning about higher-order processes - Amadio, Dam - 1994
19   Secure implementation of channel abstractions - Abadi, edric et al.  ACM   DBLP
18   The Objective Caml System: Documentation and User's Manual (context) - Leroy, Doligez et al. - 2000
18   Implementing sequentially consistent shared objects using br.. - Fekete, Kaashoek et al. - 1995
17   The complete axiomatization of cs-congruence - Parrow, Sjodin - 1994
17   Turing Award Lecture (context) - Milner, interaction et al. - 1993  ACM
17   Digital Systems Research Center (context) - Garland, Guttag et al. - 1991
17   Some issues in the semantics of Facile distributed programmi.. (context) - Thomsen, Leth et al. - 1992  ACM   DBLP
16   Bisimulations for the join-calculus - Boreale, edric et al. - 1998
16   Agent Tcl: A exible and secure mobile agent system (context) - Gray - 1996
16   Security and reliability in Concordia (context) - Walsh, Paciorek et al. - 1998  ACM
16   The IOA language and toolset: Support for designing (context) - Garland, Lynch - 1998
15   Journal of Information and Computation (context) - Walker, the - 1995
15   and Tsung-Min Kuo (context) - Thomsen, Leth
15   Nomadic Pict: Correct communication infrastructure for mobil.. - Unyapoth, Sewell  DBLP
15   Constraints as processes - orn, Joachim  ACM   DBLP
15   Higher-order concurrency (context) - Reppy - 1992  ACM
15   An improvement in formal veri cation (context) - Holzmann, Peled - 1994
14   A modular coding of UNITY in Coq (context) - Heyd, Cr - 1996  ACM   DBLP
14   An investigation into functions as processes - Sangiorgi - 1994  ACM   DBLP
14   INRIA Sophia-Antipolis (context) - Sangiorgi, mobile et al. - 1995
13   Objectspace voyager core package technical overview (context) - Glass - 1998  ACM
13   The problem of \weak bisimulation up to (context) - Sangiorgi, Milner - 1992
13   Modeling mobile IP in mobile UNITY - McCann, Roman - 1999  ACM   DBLP
13   The re exive chemical abstract machine and the join-calculus (context) - edric, Georges
13   A formalization of the process algebra CCS in higher order l.. - Nesi - 1992
12   DiTyCO: An experiment in code mobility from the realm of pro.. - Lopes, Silva et al. - 1999
12   the proof method for bisimulation (context) - Sangiorgi - 1995
10   Symbolic bisimulation and proof systems for the -calculus (context) - Lin - 1994
10   European Computer-Industry Research Centre (context) - Amadio, Facile et al. - 1994
10   The receptive distributed pi-calculus - Amadio, erard et al. - 1999  DBLP
10   Higher-order subtyping - Pierce, Ste - 1997
10   the expressive power of joint input (context) - Nestmann - 1998
10   Modelling IP mobility - Amadio, Prasad - 1998  ACM   DBLP
9   A theory of bisimulation for a fragment of concurrent ML wit.. - Je, Rathke - 2000  ACM   DBLP
9   Multiway synchronization veri ed with coupled simulation (context) - Parrow, Sjodin - 1992
9   Source distribution and documentation available from http://.. (context) - edric, Luc et al. - 1997
9   Trios in concert - Parrow - 1999  ACM
8   calculus to Higher-Order -calculus | and back (context) - Sangiorgi - 1993
8   A mobile object workbench (context) - Bursell, Hayton et al. - 1998  ACM   DBLP
7   Mechanizing UNITY in Isabelle - Paulson - 1999  ACM   DBLP
7   Six misconceptions about reliable distributed computing (context) - Vogels, van Renesse et al. - 1998  ACM   DBLP
7   Earlier version published as Report ECS-LFCS-93-270 (context) - Sangiorgi, of et al. - 1996
7   On Determinacy and Nondeterminacy in Concurrent Programming (context) - Nestmann - 1996
7   Multiparadigm programming in Oz - Muller, Muller et al. - 1995
7   volume 1119 of Lecture Notes in Computer Science (context) - Montanari, Sassone et al. - 1996
6   volume 962 of Lecture Notes in Computer Science (context) - Lee, Smolka et al. - 1995
5   Proof Methods and Pragmatics for Parallel Programming (context) - Tofts - 1991  ACM
5   Reasoning about Code Mobility with Mobile UNITY - Picco, Roman et al. - 1997
5   Mobile UNITY: Reasoning and speci cation in mobile computing (context) - Roman, McCann et al. - 1997
4   Also available as Digital Systems Research Center Research R.. (context) - Cardelli, with et al. - 1995
4   Locality based Linda: programming with explicit localities (context) - de Nicola, Ferrari et al. - 1997  DBLP
4   and Richard Wheeler (context) - Miloji, Frederick - 1999
4   A Nitpick Analysis of Mobile IPv - Jackson, Ng et al. - 1999
4   Available through URL httplarch (context) - Lynch, language et al. - 1997
4   Compositional proof systems for model checking in nite state.. (context) - Dam - 1995
4   A full formalization of pi-calculus theory in the Calculus o.. (context) - Hirschko - 1997
3   Con uence by decreasing diagrams (context) - van Oostrom - 1994
3   Mobis: A speci cation language for mobile systems (context) - Mascolo - 1999
3   Distribution and mobility with lexical scoping (context) - Vasconcelos, Lopes et al. - 1998
3   A brief introduction to applied (context) - Sewell - 2000
3   volume 1243 of Lecture Notes in Computer Science (context) - Mazurkiewicz, ozef et al. - 1997
2   Laboratory for Computer Science (context) - Asperti, Busi et al. - 1996
2   A concurrent programming environment with support for distri.. - Lopes, Figueira et al. - 2000
2   Proof systems for pi-calculus logics - Dam - 2001
2   Mechanizing a pi-calculus equivalence in HOL (context) - t-Mohamed - 1995
2   the semantics of sequential systems with silent moves (context) - van Glabbeek, time et al. - 1993
2   Brighton BN1 9QH (context) - Arun-Kumar, Hennessy et al. - 1990
2   a multicomputer distributed operating system (context) - Barak, Litman - 1985
2   Speci cation and formal veri cation of a PLAN algorithm in M.. (context) - Wang, Meseguer et al. - 2000
2   de nition of kernel Oz (context) - Smolka - 1995
2   Formal Veri cation TCP and TTCP (context) - Smith, cation et al. - 1997
2   School of Cognitive and Computing Sciences (context) - Yoshida, Hennessy et al. - 1999
2   Ecient veri cation of determinate processes (context) - Qin - 1991
1   Reasoning about Systems with Evolving Structure (context) - Philippou - 1996
1   Technical Report Cahier du CUI No (context) - Tschudin, to et al. - 1994
1   Con uence of processes and systems of objects (context) - Liu, Walker - 1994
1   Section of Computer Science (context) - Nestmann, Ravara et al. - 2000
1   The Nomadic Pict System Release (context) - Wojciechowski - 2000
1   Con uence for process veri cation (context) - Groote, Sellink
1   and Bent Thomsen (context) - Amadio, Leth - 1995
1   Automatically proving up to bisimulation - Hirschko - 1998
1   Program Veri cation using HOL-UNITY (context) - Andersen, Petersen et al. - 1994
1   The JoCaml reference manual (context) - Le Fessant - 1998
1   Chapter to appear in Bergstra (context) - Parrow, to et al. - 2000
1   A Veri cation Tool for the Polyadic -Calculus (context) - orn - 1994
1   A process-calculus approach to typed concurrent objects - Vasconcelos - 1994
1   Previous version as Rapport de Recherche (context) - Milner, processes et al. - 1990
1   Commitment and con nement for the seal calculus (context) - Castagna, Vitek - 1999

[Article contains additional citations not shown here]

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)
Nomadic Pict: Correct Communication Infrastructure for.. - Unyapoth, Sewell (2001)   (Correct)
The Nomadic Pict System Release 1.0a - Documentation And.. - Wojciechowski (2000)   (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