POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A fault-tolerant directory service for mobile agents based on forwarding pointers
Proceedings of the 2002 ACM symposium on Applied computing
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Nomadic Pict: Language and Infrastructure Design for Mobile Agents
IEEE Concurrency
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
A Scalable and Secure Global Tracking Service for Mobile Agents
MA '01 Proceedings of the 5th International Conference on Mobile Agents
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
An Overview of the Use of Mobile Agents in Virtual Environments
IVA '01 Proceedings of the Third International Workshop on Intelligent Virtual Agents
Formalizing a Language for Institutions and Norms
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
An adaptative mechanism for communicating with mobile objects
UbiMob '04 Proceedings of the 1st French-speaking conference on Mobility and ubiquity computing
MoCha-pi, an exogenous coordination calculus based on mobile channels
Proceedings of the 2005 ACM symposium on Applied computing
Pure bigraphs: structure and dynamics
Information and Computation
Transition systems, link graphs and Petri nets
Mathematical Structures in Computer Science
A Component Coordination Model Based on Mobile Channels
Fundamenta Informaticae
Worldwide computing: Adaptive middleware and programming technology for dynamic Grid environments
Scientific Programming - Dynamic Grids and Worldwide Computing
Scientific Programming
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi
Electronic Notes in Theoretical Computer Science (ENTCS)
Multiple-labelled transition systems for nominal calculi and their logics†
Mathematical Structures in Computer Science
Mobile agent location management in global networks
ICCOMP'05 Proceedings of the 9th WSEAS International Conference on Computers
OverView: A Framework for Generic Online Visualization of Distributed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Pure bigraphs: Structure and dynamics
Information and Computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Controlling process modularity in mobile computing
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
MoMo: a modal logic for reasoning about mobility
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
A Component Coordination Model Based on Mobile Channels
Fundamenta Informaticae
Hi-index | 0.00 |
We study the distributed infrastructures required for location-independent communication between migrating agents. These infrastructures are problematic: different applications may have very different patterns of migration and communication, and require different performance and robustness properties; algorithms must be designed with these in mind. To study this problem we introduce an agent programming language -- Nomadic Pict. It is designed to allow infrastructure algorithms to be expressed as clearly as possible, as translations from a high-level language to a low level. The levels are based on rigorously-defined process calculi, they provide sharp levels of abstraction. In this paper we describe the language and use it to develop an infrastructure for an example application. The language and examples have been implemented; we conclude with a description of the compiler and runtime.