References

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. 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.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org