Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes
Communicating sequential processes
Communications of the ACM
How to write parallel programs: a guide to the perplexed
ACM Computing Surveys (CSUR)
Fault-tolerant telecommunication system patterns
Pattern languages of program design 2
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Programming languages for mobile code
ACM Computing Surveys (CSUR)
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
Proceedings of the 21st international conference on Software engineering
Theoretical Computer Science
SETI@HOME—massively distributed computing for SETI
Computing in Science and Engineering
Secure Internet programming: security issues for mobile and distributed objects
Secure Internet programming: security issues for mobile and distributed objects
Abstractions for mobile computations
Secure Internet programming
Types of specifications of access policies
Secure Internet programming
An infrastructure language for open nets
Proceedings of the 2002 ACM symposium on Applied computing
Communication and Concurrency
Programming and Deploying Java Mobile Agents Aglets
Programming and Deploying Java Mobile Agents Aglets
Jini Specification
JavaSpaces Principles, Patterns, and Practice
JavaSpaces Principles, Patterns, and Practice
The Java Programming Language
Persistant Linda: Linda + Transactions + Query Processing
Research Directions in High-Level Parallel Programming Languages
Multiple Tuple Spaces in Linda
PARLE '89 Proceedings of the Parallel Architectures and Languages Europe, Volume II: Parallel Languages
An Overview of Mobile Agent Programming
Selected papers from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages
Coordinating Mobile Object-Oriented Code
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
The Architecture of the Ara Platform for Mobile Agents
MA '97 Proceedings of the First International Workshop on Mobile Agents
Reactive Tuple Spaces for Mobile Agent Coordination
MA '98 Proceedings of the Second International Workshop on Mobile Agents
Translating Strong Mobility into Weak Mobility
MA '01 Proceedings of the 5th International Conference on Mobile Agents
MOS '96 Selected Presentations and Invited Papers Second International Workshop on Mobile Object Systems - Towards the Programmable Internet
Jada - Coordination and Communication for Java Agents
MOS '96 Selected Presentations and Invited Papers Second International Workshop on Mobile Object Systems - Towards the Programmable Internet
Sumatra: A Language for Resource-Aware Mobile Programs
MOS '96 Selected Presentations and Invited Papers Second International Workshop on Mobile Object Systems - Towards the Programmable Internet
KLAVA: a Java package for distributed and mobile applications
Software—Practice & Experience
Pickling Threads State in the Java System
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 33)
ISADS '01 Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems
A modal logic for mobile agents
ACM Transactions on Computational Logic (TOCL)
Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming
Automated Software Engineering
IBM Systems Journal
ATEC '97 Proceedings of the annual conference on USENIX Annual Technical Conference
On the expressive power of KLAIM-based calculi
Theoretical Computer Science - Expressiveness in concurrency
Basic observables for a calculus for global computing
Information and Computation
Science of Computer Programming
A method and tool for design of multi-agent systems
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Combining static analysis and runtime checking in security aspects for distributed tuple spaces
COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
| Hi-index | 0.00 |
Network-aware computing has called for new programming languages that exploit the mobility paradigm as a basic interaction mechanism. In this paper we present X-Klaim, an experimental programming language specifically designed to program distributed systems composed of several components interacting through multiple distributed tuple spaces and mobile code. The language consists of a set of coordination primitives inspired by Linda, a set of operators for building processes borrowed from process algebras and a few classical constructs for sequential programming. X-Klaim naturally supports programming with explicit localities; these are first-class data that can be manipulated like any other data, and coordination primitives that permit controlling interactions among located processes. Via a series of examples, we show that many mobile code programming paradigms can be naturally implemented by means of the considered language.