Electronic Notes in Theoretical Computer Science · 2004 · 17 citations · 23 references
ComputingComputer ScienceComputer SystemsDistributed SystemsProgramming LanguagesReal-time SystemsCoordination MechanismsDistributed CoordinationProcess CoordinationReal-time Systems DesignTemporal LogicCommunication PrimitivesCoordinationCoordination LanguagesDelay RepresentationReal-time SemanticsTimed Automata SemanticsTiming
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. Nevertheless, industrial proposals such as TSpaces and JavaSpaces, inspired from Linda, have incorporated time constructs. This paper aims at a systematic study of the introduction of relative time in coordination models. It builds upon previous work to study the expressiveness of Linda, Linda extended with a delay mechanism and Linda primitives extended to support the duration of tuples and of the suspension of communication operations.
23
Statecharts: a visual formalism for complex systems
David Harel · Science of Computer Programming · 1987 · 6.7K citations
Nicholas Carriero, David Gelernter · Communications of the ACM · 1989 · 1.4K citations · Full text
JavaSpaces Principles, Patterns and Practice
Kybernetes · 2000 · 554 citations