Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communication and concurrency
An overview of Manifold and its implementation
Concurrency: Practice and Experience
Embedding as a tool for language comparison
Information and Computation
Coordination models and languages as software integrators
ACM Computing Surveys (CSUR)
A process algebraic view of Linda coordination primitives
Theoretical Computer Science - Special issue: theoretical aspects of coordination languages
On the semantics of tuple-based coordination models
Proceedings of the 1999 ACM symposium on Applied computing
Proceedings of the 21st international conference on Software engineering
On the expressiveness of Linda coordination primitives
Information and Computation - Special issue on EXPRESS 1997
Optimising the Linda in primitive: understanding tuple-space run-times
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
A transition system semantics for the control-driven coordination language MANIFOLD
Theoretical Computer Science
On observation as a coordination paradigm: an ontology and a formal framework
Proceedings of the 2001 ACM symposium on Applied computing
On the serializability of transactions in shared dataspaces with temporary data
Proceedings of the 2002 ACM symposium on Applied computing
A modular approach to build structured event-based systems
Proceedings of the 2002 ACM symposium on Applied computing
JavaSpaces Principles, Patterns, and Practice
JavaSpaces Principles, Patterns, and Practice
Handbook of Process Algebra
Comparing coordination models and architectures using embeddings
Science of Computer Programming - Special issue on coordination languages and architectures
On the Expressiveness of Event-based Coordination Media
PDPTA '02 Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications - Volume 3
On What Linda Is: Formal Description of Linda as a Reactive System
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
Three Semantics of the Output Operation for Generative Communication
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
Tuple-Based Models in the Observation Framework
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Fundamenta Informaticae
Distribution of a Simple Shared Dataspace Architecture
Fundamenta Informaticae
| Hi-index | 0.00 |
A fundamental issue in the engineering of coordination models is to design coordination abstractions that are correct with respect to the specification of the coordination model they implement. The traditional semantic framework for coordination is focused on describing the admissible evolutions over time of a coordinated system, and is particularly suitable for specifying the laws of a coordination model. On the other hand, formally describing run-time aspects of an implementation requires a different framework, capturing as fundamental idea the interactive behavior of a coordination medium.In this paper, these two frameworks are compared by tackling a crucial issue of coordination models, that is, the conformance of an implementation with respect to a specification. In particular, a definition of conformance is introduced that is shown to be compatible with the standard notion of implementation by horizontal refinement promoted in the context of process algebras.