KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Theoretical Computer Science
Nomadic pict: correct communication infrastructure for mobile computation
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Coordination languages and their significance
Communications of the ACM
On Asynchrony in Name-Passing Calculi
ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
On Bisimulations for the Asynchronous pi-Calculus
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
LIME: A Middleware for Physical and Logical Mobility
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
A foundation for actor computation
Journal of Functional Programming
MobileScope: A Programming Language with Objective Mobility
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
Composable memory transactions
Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming
MoCha-pi, an exogenous coordination calculus based on mobile channels
Proceedings of the 2005 ACM symposium on Applied computing
safeDpi: a language for controlling mobile code
Acta Informatica - Special issue: Types in concurrency. Part II , Guest Editor: R. De Nicola, D. Sangiorgi
A stackless runtime environment for a Pi-calculus
Proceedings of the 2nd international conference on Virtual execution environments
Mobile Agents in Interaction Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Social devices: collaborative co-located interactions in a mobile cloud
Proceedings of the 11th International Conference on Mobile and Ubiquitous Multimedia
Hi-index | 0.00 |
We present a kernel coordination language for mobile agent systems that considers as first-class citizens both the agents and the channels they use to interact with each other. Channels implement distributed, asynchronous communications with FIFO ordering and multicast routing. Features related to mobility include agent migration as well as remote cloning. Most importantly, a virtual form of channel mobility inspired by the @p-calculus is also supported. This expressive feature allows mobile agents to adapt dynamically to their changing environment. The language semantics, presented formally, is based on a geometrical model named the Interaction Spaces. This provides an intuitive interpretation of the agent features and capabilities in terms of combined spatial projections and transformations. Through spatial composition, we show that standard labeled transition systems and bisimulation-based semantics may be defined above the geometry, enabling reasoning and formal verification. Finally, we describe prototype implementations of the proposed model and language.