1. 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.
  2. 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.
  3. 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.
  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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. David Costa (2010): Formal Models for Component Connectors. Vrije Universiteit Amsterdam.
  10. 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.
  11. 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.
  12. 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.
  13. Sun Meng & Farhad Arbab (2009): Connectors as designs. ENTCS 255, pp. 119–135, doi:10.1016/j.entcs.2009.10.028.
  14. José Proeça (2011): Synchronous Coordination of Distributed Components. Universiteit Leiden.

Comments and questions to:
For website issues: