Publication | Open Access
On the Expressiveness of Relative-Timed Coordination Models
17
Citations
23
References
2004
Year
Process CalculusLinda-style Coordination ModelsEngineeringFormal ModelingAutomated ReasoningConcurrency TheoryFormal MethodsSystems EngineeringSoftware EngineeringComputer ScienceRelative-timed Coordination ModelsLinda PrimitivesCoordination ModelTimed SystemFormal VerificationRelative TimeSoftware DesignInteraction Protocol
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.
| Year | Citations | |
|---|---|---|
Page 1
Page 1