@article(reo,
 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(reo:abt,
 author       = "Farhad Arbab",
 year         = "2005",
 title        = "Abstract Behavior Types: a foundation model for components and their composition",
 journal      = "Science of Computer Programming",
 volume       = "55",
 pages        = "3--52",
 doi          = "10.1016/j.scico.2004.05.010",
)
@inbook(reo:interactingcomp,
 author       = "Farhad Arbab",
 year         = "2006",
 title        = "Composition of Interacting Computations",
 chapter      = "12",
 pages        = "277--321",
 publisher    = "Springer-Verlag New York, Inc.",
 address      = "Secaucus, NJ, USA",
 doi          = "10.1007/3-540-34874-3\_12",
)
@incollection(reo:tiles,
 author       = "Farhad Arbab and Roberto Bruni and Dave Clarke and Ivan Lanese and Ugo Montanari",
 year         = "2009",
 title        = "Tiles for {R}eo",
 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",
)
@inproceedings(reo:ect,
 author       = "Farhad Arbab and Christian Koehler and Ziyan Maraikar and Young-Joo Moon and Jos\'e Proen\c {c}a",
 year         = "2008",
 title        = "Modeling, testing and executing {R}eo connectors with the {E}clipse {C}oordination {T}ools",
 booktitle    = "Proceedings of FACS",
 series       = "SCP",
)
@article(reo:ca,
 author       = "Christel Baier and Marjan Sirjani and Farhad Arbab and Jan J. M. M. 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",
)
@inproceedings(esterel,
 author       = "G{\'e}rard Berry",
 year         = "2000",
 title        = "The foundations of Esterel",
 editor       = "Gordon D. Plotkin and Colin Stirling and Mads Tofte",
 booktitle    = "Proof, Language, and Interaction",
 publisher    = "The MIT Press",
 pages        = "425--454",
)
@inproceedings(reo:ra,
 author       = "Marcello M. Bonsangue and Dave Clarke and Alexandra Silva",
 year         = "2009",
 title        = "Automata for Context-Dependent Connectors",
 booktitle    = "COORDINATION",
 series       = "LNCS",
 volume       = "5521",
 publisher    = "Springer",
 pages        = "184--203",
)
@phdthesis(gals:phd,
 author       = "D. M. Chapiro",
 year         = "1984",
 title        = "Globally-Asynchronous Locally-Synchronous Systems",
 school       = "Standford University",
)
@incollection(linda:calculus,
 author       = "P. Ciancarini and K.K. Jensen and D. Yankelevich",
 year         = "1995",
 title        = "On the Operational Semantics of a Coordination Language",
 booktitle    = "Object-Based Models and Languages for Concurrent Systems",
 series       = "LNCS",
 volume       = "924",
 pages        = "77--106",
)
@article(reo:cc,
 author       = "Dave Clarke and David Costa and Farhad Arbab",
 year         = "2007",
 title        = "Connector colouring {I}: Synchronisation and context dependency",
 journal      = "Science of Computer Programming",
 volume       = "66",
 number       = "3",
 pages        = "205--225",
 doi          = "10.1016/j.scico.2007.01.009",
)
@inproceedings(linda:semantics,
 author       = "R{\'e}gis Cridlig and Eric Goubault",
 year         = "1993",
 title        = "Semantics and Analysis of Linda-Based Languages",
 editor       = "Patrick Cousot and Moreno Falaschi and Gilberto Fil{\'e} and Antoine Rauzy",
 booktitle    = "WSA",
 series       = "LNCS",
 volume       = "724",
 publisher    = "Springer",
 pages        = "72--86",
)
@article(gals:verification,
 author       = "Frederic Doucet and Massimiliano Menarini and Ingolf H. Kr{\"u}ger and Rajesh K. Gupta and Jean-Pierre Talpin",
 year         = "2006",
 title        = "A Verification Approach for GALS Integration of Synchronous Components",
 journal      = "ENTCS",
 volume       = "146",
 number       = "2",
 pages        = "105--131",
)
@inbook(tilemodel,
 author       = "Fabio Gadducci and Ugo Montanari",
 year         = "2000",
 title        = "The tile model",
 pages        = "133--166",
 publisher    = "MIT Press",
 address      = "Cambridge, MA, USA",
)
@article(linda,
 author       = "David Gelernter",
 year         = "1985",
 title        = "Generative communication in {L}inda",
 journal      = "ACM Transactions on Programming Languages and Systems",
 volume       = "7",
 number       = "1",
 pages        = "80--112",
 doi          = "10.1145/2363.2433",
)
@phdthesis(christian:phd,
 author       = "Christian Krause",
 year         = "2011",
 title        = "Reconfigurable component connectors",
 school       = "Leiden University",
)
@article(sccs,
 author       = "Robin Milner",
 year         = "1983",
 title        = "Calculi for Synchrony and Asynchrony",
 journal      = "Theor. Comput. Sci.",
 volume       = "25",
 pages        = "267--310",
 doi          = "10.1016/0304-3975(83)90114-7",
)
@phdthesis(proenca:phd,
 author       = "Jos\'e Proen\c {c}a",
 year         = "2011",
 title        = "Synchronous Coordination of Distributed Components",
 school       = "Leiden University",
)