A calculus of mobile processes, I
Information and Computation
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
MASIF: The OMG Mobile Agent System Interoperability Facility
MA '98 Proceedings of the Second International Workshop on Mobile Agents
MA '98 Proceedings of the Second International Workshop on Mobile Agents
Infrastructure for Mobile Agents: Requirements and Design
MA '98 Proceedings of the Second International Workshop on Mobile Agents
Mobile Agents: Are They a Good Idea?
MOS '96 Selected Presentations and Invited Papers Second International Workshop on Mobile Object Systems - Towards the Programmable Internet
Nomadic Pict: Language and Infrastructure Design for Mobile Agents
ASAMA '99 Proceedings of the First International Symposium on Agent Systems and Applications Third International Symposium on Mobile Agents
The Ensemble System
Mobile objects and agents (MOA)
COOTS'98 Proceedings of the 4th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 4
Nomadic pict: correct communication infrastructure for mobile computation
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modules, abstract types, and distributed versioning
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Resource access control in systems of mobile agents
Information and Computation
Programming dynamically reconfigurable open systems with SALSA
ACM SIGPLAN Notices
The m-calculus: a higher-order distributed process calculus
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The UDP Calculus: Rigorous Semantics for Real Networking
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Semantics of Protocol Modules Composition and Interaction
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Graphs for Core Molecular Biology
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Fundamenta Informaticae - Concurrency specification and programming
MetaKlaim: a type safe multi-stage language for global computing
Mathematical Structures in Computer Science
Coordination and mobility in CoreLime
Mathematical Structures in Computer Science
A service-oriented language for programming mobile agents
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
A coordination approach to mobile components
Theoretical Computer Science - Formal methods for components and objects
Knowledge modeling -- State of the art
Integrated Computer-Aided Engineering
Oz/K: a kernel language for component-based open programming
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Programming mobile intelligent agents: An operational semantics
Web Intelligence and Agent Systems
Theoretical Computer Science
Reo Connectors as Coordination Artifacts in 2APL Systems
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Name-passing style GUI programming in the π-calculus-based language Nepi
Electronic Notes in Theoretical Computer Science (ENTCS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
MetaKlaim: meta-programming for global computing
SAIG'01 Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation
Characterizing contextual equivalence in calculi with passivation
Information and Computation
Scalable message routing for mobile software assistants
EUC'06 Proceedings of the 2006 international conference on Embedded and Ubiquitous Computing
A mobile agent service-oriented scripting language encoded on a process calculus
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
The kell calculus: a family of higher-order distributed process calculi
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
A generic membrane model (note)
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
An abstract machine for the kell calculus
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Component-oriented programming with sharing: containment is not ownership
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Role-Based declarative synchronization for reconfigurable systems
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Welcome to the jungle: a subjective guide to mobile process calculi
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Typed first-class communication channels and mobility for concurrent scripting languages
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
| Hi-index | 0.00 |
Location-independent communication between migrating agents requires distributed infrastructures. Here, the authors describe their Nomadic Pict distributed programming language and use it to develop an infrastructure for an example application.