Sciweavers

SCP
2010
172views more  SCP 2010»
13 years 9 months ago
Alternating-time stream logic for multi-agent systems
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
Sascha Klüppelholz, Christel Baier
JLP
2008
121views more  JLP 2008»
13 years 9 months ago
A process algebraic view of shared dataspace coordination
Coordination languages were introduced in the early 80's as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras...
Nadia Busi, Gianluigi Zavattaro
HPCN
2000
Springer
14 years 2 months ago
Modelling Control Systems in an Event-Driven Coordination Language
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
Theophilos A. Limniotes, George A. Papadopoulos
DEXAW
1998
IEEE
124views Database» more  DEXAW 1998»
14 years 3 months ago
Managing Evolution of Coordination Aspects in Open Systems
Most of the work on coordination technology so far has focused on the development of special coordination languages and environments that provide the basic mechanisms for realizin...
Juan Carlos Cruz, Sander Tichelaar
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
14 years 4 months ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...