Farhad Arbab (2004):
Reo: a channel-based coordination model for component composition..
Mathematical Structures in Computer Science 14(3),
pp. 329–366,
doi:10.1017/S0960129504004153.
Farhad Arbab (2005):
Abstract Behavior Types: a foundation model for components and their composition.
Science of Computer Programming 55,
pp. 3–52,
doi:10.1016/j.scico.2004.05.010.
Farhad Arbab (2006):
Composition of Interacting Computations, chapter 12,
pp. 277–321.
Springer-Verlag New York, Inc.,
Secaucus, NJ, USA,
doi:10.1007/3-540-34874-3_12.
Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese & Ugo Montanari (2009):
Tiles for Reo.
In: Recent Trends in Algebraic Development Techniques,
LNCS 5486.
Springer,
pp. 37–55,
doi:10.1007/978-3-642-03429-9_4.
Farhad Arbab, Christian Koehler, Ziyan Maraikar, Young-Joo Moon & José Proença (2008):
Modeling, testing and executing Reo connectors with the Eclipse Coordination Tools.
In: Proceedings of FACS,
SCP.
Christel Baier, Marjan Sirjani, Farhad Arbab & Jan J. M. M. Rutten (2006):
Modeling component connectors in Reo by constraint automata.
Science of Computer Programming 61(2),
pp. 75–113,
doi:10.1016/j.scico.2005.10.008.
Gérard Berry (2000):
The foundations of Esterel.
In: Gordon D. Plotkin, Colin Stirling & Mads Tofte: Proof, Language, and Interaction.
The MIT Press,
pp. 425–454.
Marcello M. Bonsangue, Dave Clarke & Alexandra Silva (2009):
Automata for Context-Dependent Connectors.
In: COORDINATION,
LNCS 5521.
Springer,
pp. 184–203.
D. M. Chapiro (1984):
Globally-Asynchronous Locally-Synchronous Systems.
Standford University.
P. Ciancarini, K.K. Jensen & D. Yankelevich (1995):
On the Operational Semantics of a Coordination Language.
In: Object-Based Models and Languages for Concurrent Systems,
LNCS 924,
pp. 77–106.
Dave Clarke, David Costa & Farhad Arbab (2007):
Connector colouring I: Synchronisation and context dependency.
Science of Computer Programming 66(3),
pp. 205–225,
doi:10.1016/j.scico.2007.01.009.
Régis Cridlig & Eric Goubault (1993):
Semantics and Analysis of Linda-Based Languages.
In: Patrick Cousot, Moreno Falaschi, Gilberto Filé & Antoine Rauzy: WSA,
LNCS 724.
Springer,
pp. 72–86.
Frederic Doucet, Massimiliano Menarini, Ingolf H. Krüger, Rajesh K. Gupta & Jean-Pierre Talpin (2006):
A Verification Approach for GALS Integration of Synchronous Components.
ENTCS 146(2),
pp. 105–131.
Fabio Gadducci & Ugo Montanari (2000):
The tile model,
pp. 133–166.
MIT Press,
Cambridge, MA, USA.
David Gelernter (1985):
Generative communication in Linda.
ACM Transactions on Programming Languages and Systems 7(1),
pp. 80–112,
doi:10.1145/2363.2433.
Christian Krause (2011):
Reconfigurable component connectors.
Leiden University.
Robin Milner (1983):
Calculi for Synchrony and Asynchrony.
Theor. Comput. Sci. 25,
pp. 267–310,
doi:10.1016/0304-3975(83)90114-7.
José Proença (2011):
Synchronous Coordination of Distributed Components.
Leiden University.
eptcs@eptcs.org