Farhad Arbab (2004):
Reo: a channel-based coordination model for component composition.
Math. Structures Comput. Sci. 14(3),
pp. 329–366,
doi:10.1017/S0960129504004153.
Farhad Arbab (2011):
Puff, The Magic Protocol.
In: Talcott Festschrift,
Lecture Notes in Comput. Sci. 7000.
Springer,
pp. 169–206,
doi:10.1007/978-3-642-24933-4_9.
Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese & Ugo Montanari (2009):
Tiles for Reo.
In: Proc. of WADT,
Lecture Notes in Comput. Sci. 5486.
Springer Berlin Heidelberg,
pp. 37–55,
doi:10.1007/978-3-642-03429-9_4.
Paul Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber & Joseph Sifakis (2014):
A General Framework for Architecture Composability 8702,
pp. 128–143,
doi:10.1007/978-3-319-10431-7_10.
Christel Baier, Joachim Klein & Sascha Klüppelholz (2014):
Synthesis of Reo Connectors for Strategies and Controllers.
Fundam. Inform. 130(1),
pp. 1–20,
doi:10.3233/FI-2014-980.
Christel Baier, Marjan Sirjani, Farhad Arbab & Jan Rutten (2006):
Modeling component connectors in Reo by constraint automata.
Sci. Comput. Programming 61(2),
pp. 75–113,
doi:10.1016/j.scico.2005.10.008.
Ananda Basu, Marius Bozga & Joseph Sifakis (2006):
Modeling Heterogeneous Real-time Components in BIP.
In: Proc. of SEFM.
ACM,
pp. 3–12,
doi:10.1109/SEFM.2006.27.
Simon Bliudze & Joseph Sifakis (2007):
The algebra of connectors: structuring interaction in BIP.
In: Proc. of EMSOFT.
ACM SigBED.
ACM,
Salzburg, Austria,
pp. 11–20,
doi:10.1145/1289927.1289935.
Simon Bliudze, Joseph Sifakis, Marius Bozga & Mohamad Jaber (2014):
Architecture Internalisation in BIP.
In: Proc. of CBSE.
ACM,
pp. 169–178,
doi:10.1145/2602458.2602477.
Roberto Bruni, Hernán Melgratti & Ugo Montanari (2011):
Connector Algebras, Petri Nets, and BIP.
In: Proc. of PSI,
LNCS 7162.
Springer,
pp. 19–38,
doi:10.1007/978-3-642-29709-0_2.
M. Y. Chkouri, A. Robert, M. Bozga & J. Sifakis (2009):
Translating AADL into BIP - Application to the Verification of Real-Time Systems.
In: Proc. of MODELS,
LNCS 5421.
Springer,
pp. 5–19,
doi:10.1007/978-3-642-01648-6_2.
David Garlan (2014):
Software Architecture: A Travelogue.
In: Proc. of FOSE.
ACM,
pp. 29–39,
doi:10.1145/2593882.2593886.
Sung-Shik T. Q. Jongmans & Farhad Arbab (2012):
Overview of Thirty Semantic Formalisms for Reo.
Sci. Ann. Comp. Sci. 22(1),
pp. 201–251,
doi:10.7561/SACS.2012.1.201.
C. Koehler & D. Clarke (2009):
Decomposing port automata.
In: Proc. of SAC.
ACM,
pp. 1369–1373,
doi:10.1145/1529282.1529587.
C. Krause (2009):
Integrated Structure and Semantics for Reo Connectors and Petri Nets.
In: Proc. of ICE,
pp. 57–69,
doi:10.4204/EPTCS.12.4.
R. Milner (1989):
Communication and Concurrency.
Prentice-Hall, Inc..
G. A. Papadopoulos & F. Arbab (2001):
Configuration And Dynamic Reconfiguration Of Components Using The Coordination Paradigm.
Future Generation Computer Systems 17(8),
pp. 1023 – 1038,
doi:10.1016/S0167-739X(01)00043-7.
José Proença & Dave Clarke (2008):
Coordination Models Orc and Reo Compared.
Electron. Notes Theor. Comput. Sci. 194(4),
pp. 57–76,
doi:10.1016/j.entcs.2008.03.099.
Carolyn Talcott, Marjan Sirjani & Shangping Ren (2011):
Comparing three coordination models: Reo, ARC, and PBRD.
Sci. Comput. Programming 76(1),
pp. 3–22,
doi:10.1016/j.scico.2009.11.006.