Communicating sequential processes
Communicating sequential processes
Coordination languages and their significance
Communications of the ACM
Transition system specifications with negative premises
Theoretical Computer Science
A process algebraic view of Linda coordination primitives
Theoretical Computer Science - Special issue: theoretical aspects of coordination languages
On the expressiveness of Linda coordination primitives
Information and Computation - Special issue on EXPRESS 1997
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Comparing three semantics for Linda-like languages
Theoretical Computer Science
Communication and Concurrency
On the Expressiveness of Event Notification in Data-Driven Coordination Languages
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
IBM Systems Journal
On Timed Coordination Languages
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
GCCS: A Graphical Coordination Language for System Specification
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Formal Specification of JavaSpaces Architecture Using µCRL
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Tuple-Based Models in the Observation Framework
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
A formal definition of RESTful semantic web services
Proceedings of the First International Workshop on RESTful Design
Fundamenta Informaticae
Distribution of a Simple Shared Dataspace Architecture
Fundamenta Informaticae
A Timed Linda Language and its Denotational Semantics
Fundamenta Informaticae
Hi-index | 0.00 |
We present a collection of process calculi featuring coordination primitives for the shared dataspace coordination model (inspired by Linda, JavaSpaces and TSpaces), some of which have never been formally defined before. The operational semantics of the calculi is used to clarify possible ambiguities of the informal definitions of these languages, to discuss possible implementation choices, to compare the expressive power of the new primitives and, finally, to support formal reasoning about programs written with these primitives.