Nomadic pict: Language and infrastructure design for mobile agents

Proceedings - 1st International Symposium on Agent Systems and Applications and 3rd International Symposium on Mobile Agents, ASA/MA 1999

Volumn , Issue , 1999, Pages 2-12

  Wojciechowski, Paweł T ^a   Sewell, Peter ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; HIGH LEVEL LANGUAGES;

AGENT PROGRAMMING LANGUAGES; DISTRIBUTED INFRASTRUCTURE; INFRASTRUCTURE DESIGN; LEVELS OF ABSTRACTION; LOCATION INDEPENDENT; MIGRATING AGENTS; PROCESS CALCULI; ROBUSTNESS PROPERTIES;

MOBILE AGENTS;

EID: 85015121386     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASAMA.1999.805388     Document Type: Conference Paper

References (23)

1. [AO98] Y. Aridor and M. Oshima. Infrastructure for Mobile Agents: Requirements and Design. In Proc. 2nd Int. Workshop on Mobile Agents, LNCS 1477, volume 1477, pages 38-49, 1998.
2. [BHB97] John Bates, David Halls, and Jean Bacon. Middleware support for mobile multimedia applications. ICL Systems Journal, 12(2):289-314, November 1997.
3. [BHDH98] Michael Bursell, Richard Hayton, Douglas Donaldson, and Andrew Herbert. A Mobile Object Workbench. In Kurt Rothermel and Fritz Hohl, editors, Proceedings of the 2nd International Workshop on Mobile Agents (MA), LNCS 1477, volume 1477, pages 136-147, September 1998.
4. [Bou92] Ǵerard Boudol. Asynchrony and the -calculus (note). Rapport de Recherche 1702, INRIA Sofia- Antipolis, May 1992.
5. [CHK97] D. Chess, C. Harrison, and A. Kershenbaum. Mobile agents: Are they a good idea? In Mobile Object Systems - Towards the Programmable Internet. LNCS 1222, pages 25-48, 1997.
6. [FGL+96] Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, and Didier Rémy. A calculus of mobile agents. In Proceedings of CONCUR '96. LNCS 1119, pages 406-421. Springer-Verlag, August 1996.
7. [Hay98] Mark Hayden. The Ensemble System. PhD thesis, Cornell University, 1998. Cornell Technical Report TR98-1662.
8. [HLP98] Robert Harper, Peter Lee, and Frank Pfenning. The Fox project: Advanced language technology for extensible systems. Technical Report CMU-CS-98-107, Carnegie Mellon University, 1998.
9. [HT91] Kohei Honda and Mario Tokoro. An Object Calculus for Asynchronous Communication. In Proceedings of ECOOP '91, LNCS 512, pages 133-147, July 1991.
10. [KR98] Fritz Hohl (Eds.) Kurt Rothermel. Mobile Agents, Proceedings of the Second International Workshop, MA'98. Springer-Verlag, Germany, 1998.
11. [LA97] Danny B. Lange and Yariv Aridor. Agent Transfer Protocol - ATP/0.1. IBM Tokyo Research Laboratory, March 1997.
12. [Ler95] Xavier Leroy. Le systeme Caml Special Light: modules et compilation efficace en Caml. Technical Report RR-2721, Inria, Institut National de Recherche en Informatique et en Automatique, 1995.
13. [MBB+98] D. Milojicic, M. Breugst, I. Busse, J. Campbell, S. Covaci, B. Friedman, K. Kosaka, D. Lange, K. Ono, M. Oshima, C. Tham, S. Virdhagriswaran, and J. White. MASIF: The OMG Mobile Agent System Interoperability Facility. In Proc. 2nd Int. Workshop on Mobile Agents, LNCS 1477, pages 50-67, 1998.
14. [MLC98] Dejan S. Milojǐcíc, William LaForge, and Deepika Chauhan. Mobile Objects and Agents (MOA). In Proceedings of the 4th Conference on Object- Oriented Technologies and Systems (COOTS-98), pages 179-194, April 27-30 1998.
15. [MPW92] R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, Parts I + II. Information and Computation, 100(1):1-77, 1992.
16. [Nee89] R. M. Needham. Names. In S. Mullender, editor, Distributed Systems, pages 89-101. Addison-Wesley, 1989.
17. [Obj97] ObjectSpace. Voyager core package technology overview. Available from http://www.objectspace.com/, 1997.
18. [PT95] Benjamin C. Pierce and David N. Turner. Concurrent objects in a process calculus. In Takayasu Ito and Akinori Yonezawa, editors, Theory and Practice of Parallel Programming (TPPP, Sendai, Japan, 1994), LNCS 907, pages 187-215, 1995.
19. [PT97] Benjamin C. Pierce and David N. Turner. Pict: A programming language based on the pi-calculus. Technical Report CSCI 476, Computer Science Department, Indiana University, 1997. To appear in Proof, Language and Interaction: Essays in Honour of Robin Milner, MIT Press.
20. [SWP98] Peter Sewell, Paweł T. Wojciechowski, and Benjamin C. Pierce. Location independence for mobile agents. In Workshop on Internet Programming Languages, Chicago, May 1998.
21. [SWP99] Peter Sewell, Paweł T. Wojciechowski, and Benjamin C. Pierce. Location-independent communication for mobile agents: A two-level architecture. Technical Report 462, Computer Laboratory, University of Cambridge, 1999. A version of this is to appear in a WIPL'98 LNCS volume. Available from http://www.cl.cam.ac.uk/users/pes20/.
22. [Tur96] David N. Turner. The Polymorphic Pi-calculus: Theory and Implementation. PhD thesis, University of Edinburgh, 1996.
23. [VE97] Jan Vitek and Christian Tschudin (Eds.). Towards the Programmable Internet, Proceedings of the Second International Workshop, MOS'96. Springer-Verlag, 1997.