Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
The reflexive CHAM and the join-calculus
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A process algebraic view of Linda coordination primitives
Theoretical Computer Science - Special issue: theoretical aspects of coordination languages
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
Tuple centres for the coordination of Internet agents
Proceedings of the 1999 ACM symposium on Applied computing
Proceedings of the 21st international conference on Software engineering
Design and evaluation of a wide-area event notification service
ACM Transactions on Computer Systems (TOCS)
Nomadic Pict: Language and Infrastructure Design for Mobile Agents
IEEE Concurrency
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
The JavaSeal Mobile Agent Kernel
ASAMA '99 Proceedings of the First International Symposium on Agent Systems and Applications Third International Symposium on Mobile Agents
HyperNews, a Hypermedia Electronic-Newspaper Environment Based on Agents
HICSS '98 Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences - Volume 2
HICSS '99 Proceedings of the Thirty-second Annual Hawaii International Conference on System Sciences-Volume 8 - Volume 8
LIME: A Middleware for Physical and Logical Mobility
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Enabling the rapid development of dependable applications in the mobile environment
Enabling the rapid development of dependable applications in the mobile environment
Supporting Secure Coordination in SecSpaces
Fundamenta Informaticae
Formal development of cooperative exception handling for mobile agent systems
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Agilla: A mobile agent middleware for self-adaptive wireless sensor networks
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Supporting Secure Coordination in SecSpaces
Fundamenta Informaticae
Hi-index | 0.00 |
The choice of suitable high-level communication primitives for wide area network programming languages remains an open problem. This paper is driven by the practical consideration of providing an efficient and secure communication infrastructure for mobile agent systems. This has led us to formalise the Lime coordination middleware and propose a simplified model, which we call CoreLime, that addresses some of the main shortcomings of Lime while retaining its distinguishing feature, namely transient sharing of tuple spaces. We further discuss a prototype implementation along with security extensions. Our contribution is thus an exploration of the language design space rather than a theoretical investigation of properties of these models.