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