@article(arbab04,
 author       = "Farhad Arbab",
 year         = "2004",
 title        = "Reo: {A} channel-based coordination model for component composition",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "14",
 number       = "3",
 pages        = "329--366",
 doi          = "10.1017/S0960129504004153",
)
@article(arbab05,
 author       = "Farhad Arbab",
 year         = "2005",
 title        = "Abstract behavior types: {A} foundation model for components and their composition",
 journal      = "Science of Computer Programming",
 volume       = "55",
 number       = "1--3",
 pages        = "3--52",
 doi          = "10.1016/j.scico.2004.05.010",
)
@incollection(arbab09,
 author       = "Farhad Arbab and Roberto Bruni and Dave Clarke and Ivan Lanese and Ugo Montanari",
 year         = "2009",
 title        = "Tiles for {R}eo",
 editor       = "Andrea Corradini and Ugo Montanari",
 booktitle    = "Recent Trends in Algebraic Development Techniques",
 series       = "LNCS",
 volume       = "5486",
 publisher    = "Springer",
 pages        = "37--55",
 doi          = "10.1007/978-3-642-03429-9\_4",
)
@incollection(arbab03,
 author       = "Farhad Arbab and Jan Rutten",
 year         = "2003",
 title        = "A coinductive calculus of component connectors",
 editor       = "Marin Wirsing and Dirk Pattinson and Rolf Hennicker",
 booktitle    = "Recent Trends in Algebraic Development Techniques",
 series       = "LNCS",
 volume       = "2755",
 publisher    = "Springer",
 pages        = "34--55",
 doi          = "10.1007/978-3-540-40020-2\_2",
)
@incollection(baier09,
 author       = "Christel Baier and Tobias Blechmann and Joachim Klein and Sascha Kl\"{u}ppelholz",
 year         = "2009",
 title        = "Formal verification for components and connectors",
 editor       = "Frank de Boer and Marcello Bonsangue and Eric Madelaine",
 booktitle    = "Formal Methods for Components and Objects",
 series       = "LNCS",
 volume       = "5751",
 publisher    = "Springer",
 pages        = "82--101",
 doi          = "10.1007/978-3-642-04167-9\_5",
)
@article(baier06,
 author       = "Christel Baier and Marjan Sirjani and Farhad Arbab and Jan Rutten",
 year         = "2006",
 title        = "Modeling component connectors in {R}eo by constraint automata",
 journal      = "Science of Computer Programming",
 volume       = "61",
 number       = "2",
 pages        = "75--113",
 doi          = "10.1016/j.scico.2005.10.008",
)
@incollection(bonsangue09,
 author       = "Marcello Bonsangue and Dave Clarke and Alexandra Silva",
 year         = "2009",
 title        = "Automata for context-dependent connectors",
 editor       = "John Field and Vasco Vasconcelos",
 booktitle    = "Coordination Models and Languages",
 series       = "LNCS",
 volume       = "5521",
 publisher    = "Springer",
 pages        = "184--203",
 doi          = "10.1007/978-3-642-02053-7\_10",
)
@article(clarke07,
 author       = "Dave Clarke and David Costa and Farhad Arbab",
 year         = "2007",
 title        = "Connector colouring {I}: {S}ynchronisation and context dependency",
 journal      = "Science of Computer Programming",
 volume       = "66",
 number       = "3",
 pages        = "205--225",
 doi          = "10.1016/j.scico.2007.01.009",
)
@phdthesis(costa10,
 author       = "David Costa",
 year         = "2010",
 title        = "Formal Models for Component Connectors",
 school       = "Vrije Universiteit Amsterdam",
)
@incollection(jongmans11,
 author       = "Sung-Shik Jongmans and Christian Krause and Farhad Arbab",
 year         = "2011",
 title        = "Encoding context-sensitivity in {R}eo into non-context-sensitive semantic models",
 editor       = "Wolfgang de Meuter and Catalin Roman",
 booktitle    = "Proceedings of the 13th International Conference on Coordination Models and Languages",
 series       = "LNCS",
 volume       = "6721",
 publisher    = "Springer",
 pages        = "31--48",
 doi          = "10.1007/978-3-642-21464-6\_3",
)
@inproceedings(koehler09,
 author       = "Christian Koehler and Dave Clarke",
 year         = "2009",
 title        = "Decomposing port automata",
 booktitle    = "Proceedings of the 2009 ACM Symposium on Applied Computing",
 pages        = "1369--1373",
 doi          = "10.1145/1529282.1529587",
)
@incollection(kokash10,
 author       = "Natallia Kokash and Christian Krause and Erik de Vink",
 year         = "2010",
 title        = "Verification of context-dependent channel-based service models",
 editor       = "Frank de Boer and Marcello Bonsangue and Stefan Hallerstede and Michael Leuschel",
 booktitle    = "Formal Methods for Components and Objects",
 series       = "LNCS",
 volume       = "6286",
 publisher    = "Springer",
 pages        = "21--40",
 doi          = "10.1007/978-3-642-17071-3\_2",
)
@article(meng09,
 author       = "Sun Meng and Farhad Arbab",
 year         = "2009",
 title        = "Connectors as designs",
 journal      = "ENTCS",
 volume       = "255",
 pages        = "119--135",
 doi          = "10.1016/j.entcs.2009.10.028",
)
@phdthesis(proenca11,
 author       = "Jos\'{e} Proe\c {c}a",
 year         = "2011",
 title        = "Synchronous Coordination of Distributed Components",
 school       = "Universiteit Leiden",
)