Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
More choices allow more faults: set consensus problems in totally asynchronous systems
Information and Computation
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
Controlling interference in ambients
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Abstractions for mobile computations
Secure Internet programming
Multiple Tuple Spaces in Linda
PARLE '89 Proceedings of the Parallel Architectures and Languages Europe, Volume II: Parallel Languages
Programming Access Control: The KLAIM Experience
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Interactive Mobile Agents in X-Klaim
WETICE '98 Proceedings of the 7th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
KLAVA: a Java package for distributed and mobile applications
Software—Practice & Experience
Global computing in a dynamic network of tuple spaces
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
On the expressive power of KLAIM-based calculi
Theoretical Computer Science - Expressiveness in concurrency
Coordination by Timers for Channel-Based Anonymous Communications
Electronic Notes in Theoretical Computer Science (ENTCS)
Comparing communication primitives via their relative expressive power
Information and Computation
On the relative expressive power of asynchronous communication primitives
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Languages and process calculi for network aware programming – short summary -
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Hi-index | 0.00 |
In this paper, we present recent work carried on μKlaim, a core calculus that retains most of the features of Klaim: explicit process distribution, remote operations, process mobility and asynchronous communication via distributed tuple spaces. Communication in μKlaim is based on a simple form of pattern matching that enables withdrawal from shared data spaces of matching tuples and binds the matched variables within the continuation process. Pattern matching is orthogonal to the underlying computational paradigm of μKlaim, but affects its expressive power. After presenting the basic pattern matching mechanism, inherited from Klaim, we discuss a number of variants that are easy to implement and test, by means of simple examples, the expressive power of the resulting variants of the language.