Farhad Arbab, Christel Baier, Frank de Boer, Jan Rutten & Marjan Sirjani (2005):
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications.
In: Coordination Models and Languages,
LNCS 3454.
Springer,
Berlin / Heidelberg,
pp. 236–251,
doi:10.1007/b135676.
Farhad Arbab & Sun Meng (2008):
Synthesis of Connectors from Scenario-Based Interaction Specifications.
In: CBSE'08,
LNCS 5282.
Springer Berlin/Heidelberg,
pp. 114–129,
doi:10.1007/978-3-540-87891-9.
Simon Bliudze (2012):
Towards a Theory of Glue.
In: ICE 2012: Distributed coordination, execution models, and resilient interaction,
EPTCS 104,
pp. 48–66,
doi:10.4204/EPTCS.104.6.
Simon Bliudze & Joseph Sifakis (2007):
The Algebra of Connectors — Structuring Interaction in BIP.
In: Proc. of the EMSOFT'07.
ACM SigBED,
pp. 11–20,
doi:10.1145/1289927.1289935.
Simon Bliudze & Joseph Sifakis (2008):
The Algebra of Connectors—Structuring Interaction in BIP.
IEEE Transactions on Computers 57(10),
pp. 1315–1330,
doi:10.1109/TC.2008.26.
Simon Bliudze & Joseph Sifakis (2008):
A Notion of Glue Expressiveness for Component-Based Systems.
In: Franck van Breugel & Marsha Chechik: CONCUR 2008,
LNCS 5201.
Springer,
pp. 508–522,
doi:10.1007/978-3-540-85361-9_39.
Simon Bliudze & Joseph Sifakis (2010):
Causal semantics for the algebra of connectors.
Formal Methods in System Design 36(2),
pp. 167–194,
doi:10.1007/s10703-010-0091-z.
Simon Bliudze & Joseph Sifakis (2011):
Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems.
In: Sven Apel & Ethan Jackson: 10th International Conference on Software Composition,
LNCS 6708.
Springer,
pp. 51–67,
doi:10.1007/978-3-642-22045-6_4.
Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf & Joseph Sifakis (2010):
From high-level component-based models to distributed implementations.
In: Proceedings of the tenth ACM international conference on Embedded software,
EMSOFT '10.
ACM,
New York, NY, USA,
pp. 209–218,
doi:10.1145/1879021.1879049.
Marius Bozga, Mohamad Jaber & Joseph Sifakis (2009):
Source-to-source architecture transformation for performance optimization in BIP.
In: Industrial Embedded Systems, 2009. SIES '09. IEEE International Symposium on,
pp. 152–160,
doi:10.1109/SIES.2009.5196211.
Roberto Bruni, Ivan Lanese & Ugo Montanari (2006):
A basic algebra of stateless connectors.
Theor. Comput. Sci. 366(1),
pp. 98–120,
doi:10.1016/j.tcs.2006.07.005.
Roberto Bruni, HernĂ¡n Melgratti & Ugo Montanari (2012):
Connector Algebras, Petri Nets, and BIP.
In: Edmund Clarke, Irina Virbitskaite & Andrei Voronkov: Perspectives of Systems Informatics,
Lecture Notes in Computer Science 7162.
Springer Berlin Heidelberg,
pp. 19–38,
doi:10.1007/978-3-642-29709-0_2.
Dave Clarke, José Proença, Alexander Lazovik & Farhad Arbab (2009):
Deconstructing Reo.
ENTCS 229(2),
pp. 43–58,
doi:10.1016/j.entcs.2009.06.028.
Paola Inverardi & Simone Scriboni (2001):
Connectors Synthesis for Deadlock-Free Component-Based Architectures.
In: ASE '01.
IEEE Computer Society,
Washington, DC, USA,
pp. 174–181,
doi:10.1109/ASE.2001.989803.
Joseph Sifakis (2005):
A Framework for Component-based Construction.
In: 3rd IEEE Int. Conf. on Software Engineering and Formal Methods (SEFM05),
pp. 293–300,
doi:10.1109/SEFM.2005.3.
Keynote talk.
Pawel Sobocinski (2009):
A non-interleaving process calculus for multi-party synchronisation.
In: Filippo Bonchi, Davide Grohmann, Paola Spoletini & Emilio Tuosto: ICE,
EPTCS 12,
pp. 87–98,
doi:10.4204/EPTCS.12.6.