Asis Unyapoth  Home/Search
Context
Related
| cl.cam.ac.uk/users...au.cltr514.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) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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