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(1–3),
pp. 3–52,
doi:10.1016/j.scico.2004.05.010.
Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese & Ugo Montanari (2009):
Tiles for Reo.
In: Andrea Corradini & Ugo Montanari: Recent Trends in Algebraic Development Techniques,
LNCS 5486.
Springer,
pp. 37–55,
doi:10.1007/978-3-642-03429-9_4.
Farhad Arbab & Jan Rutten (2003):
A coinductive calculus of component connectors.
In: Marin Wirsing, Dirk Pattinson & Rolf Hennicker: Recent Trends in Algebraic Development Techniques,
LNCS 2755.
Springer,
pp. 34–55,
doi:10.1007/978-3-540-40020-2_2.
Christel Baier, Tobias Blechmann, Joachim Klein & Sascha Klüppelholz (2009):
Formal verification for components and connectors.
In: Frank de Boer, Marcello Bonsangue & Eric Madelaine: Formal Methods for Components and Objects,
LNCS 5751.
Springer,
pp. 82–101,
doi:10.1007/978-3-642-04167-9_5.
Christel Baier, Marjan Sirjani, Farhad Arbab & Jan 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.
Marcello Bonsangue, Dave Clarke & Alexandra Silva (2009):
Automata for context-dependent connectors.
In: John Field & Vasco Vasconcelos: Coordination Models and Languages,
LNCS 5521.
Springer,
pp. 184–203,
doi:10.1007/978-3-642-02053-7_10.
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.
David Costa (2010):
Formal Models for Component Connectors.
Vrije Universiteit Amsterdam.
Sung-Shik Jongmans, Christian Krause & Farhad Arbab (2011):
Encoding context-sensitivity in Reo into non-context-sensitive semantic models.
In: Wolfgang de Meuter & Catalin Roman: Proceedings of the 13th International Conference on Coordination Models and Languages,
LNCS 6721.
Springer,
pp. 31–48,
doi:10.1007/978-3-642-21464-6_3.
Christian Koehler & Dave Clarke (2009):
Decomposing port automata.
In: Proceedings of the 2009 ACM Symposium on Applied Computing,
pp. 1369–1373,
doi:10.1145/1529282.1529587.
Natallia Kokash, Christian Krause & Erik de Vink (2010):
Verification of context-dependent channel-based service models.
In: Frank de Boer, Marcello Bonsangue, Stefan Hallerstede & Michael Leuschel: Formal Methods for Components and Objects,
LNCS 6286.
Springer,
pp. 21–40,
doi:10.1007/978-3-642-17071-3_2.
Sun Meng & Farhad Arbab (2009):
Connectors as designs.
ENTCS 255,
pp. 119–135,
doi:10.1016/j.entcs.2009.10.028.
José Proeça (2011):
Synchronous Coordination of Distributed Components.
Universiteit Leiden.
eptcs@eptcs.org