Statecharts: A visual formalism for complex systems
Science of Computer Programming
LUSTRE: a declarative language for real-time programming
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Communications of the ACM
The concurrent language, Shared Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
Coordination languages and their significance
Communications of the ACM
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Concurrent constraint programming
Concurrent constraint programming
Programming by multiset transformation
Communications of the ACM
An overview of Manifold and its implementation
Concurrency: Practice and Experience
Embedding as a tool for language comparison
Information and Computation
Conference proceedings on PARLE'92
Distributed programming with logic tuple spaces
New Generation Computing
Fully abstract denotational models for nonuniform concurrent languages
Information and Computation
Timed default concurrent constraint programming
Journal of Symbolic Computation - Special issue: executable temporal logics
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
A timed concurrent constraint language
Information and Computation
JavaSpaces Principles, Patterns, and Practice
JavaSpaces Principles, Patterns, and Practice
Process Calculi for Coordination: From Linda to JavaSpaces
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Embeddings Among Concurrent Programming Languages (Preliminary Version)
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Operational and Compositional Semantics of Synchronous Automaton Compositions
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
ECOOP '94 Selected papers from the ECOOP'94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Object-Based Models and Languages for Concurrent Systems
Coordinating Services in Open Distributed Systems with LAURA
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
µ2 Log: Towards Remote Coordination
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
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
Bonita: A set of tuple space primitives for distributed coordination
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Software Technology and Architecture - Volume 1
IBM Systems Journal
The SPACETUB Models and Framework
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Time-aware coordination in ReSpecT
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
A Timed Linda Language and its Denotational Semantics
Fundamenta Informaticae
Hi-index | 0.00 |
Although very simple and elegant, Linda-style coordination models lack the notion of time, and are therefore not able to precisely model real-life coordination applications, featuring time-outs and soft real-time constraints. This paper aims at introducing time in these models. To that end, we consider two notions of time, relative time and absolute time, and, for each notion, two types of features. On the one hand, with respect to relative time, we describe two extensions: (i) a delay mechanism to postpone the execution of communication primitives, and (ii) explicit deadlines on the validity of tuples and on the duration of suspension of communication operations. On the other hand, for absolute time, we introduce: (iii) a wait primitive capable of waiting till an absolute point of time, and (iv) time intervals, both on tuples in the data store and on communication operations. The resulting four coordination models are analyzed and compared both from the semantics viewpoint and from the implementation viewpoint. Moreover, a few programming examples suggest their practical interest.