@article(deAlfaro01-interface-aut,
 author       = "Luca de Alfaro and Thomas A. Henzinger",
 year         = "2001",
 title        = "Interface automata",
 journal      = "SIGSOFT Softw. Eng. Notes",
 volume       = "26",
 number       = "5",
 pages        = "109--120",
 doi          = "10.1145/503271.503226",
)
@article(arbab05-abt,
 author       = "Farhad Arbab",
 year         = "2005",
 title        = "{Abstract Behavior Types}: {A} foundation model for components and their composition",
 journal      = "Sci. Comput. Program.",
 volume       = "55",
 number       = "1--3",
 pages        = "3--52",
 doi          = "10.1016/j.scico.2004.05.010",
)
@inproceedings(Barbosa00,
 author       = "Lu\'{\i }s Soares Barbosa",
 year         = "2000",
 title        = "Components as Processes: An Exercise in Coalgebraic Modeling",
 editor       = "Scott F. Smith and Carolyn L. Talcott",
 booktitle    = "FMOODS",
 series       = "IFIP Conference Proceedings",
 volume       = "177",
 publisher    = "Kluwer",
 pages        = "397--418",
)
@inproceedings(bip06,
 author       = "Ananda Basu and Marius Bozga and Joseph Sifakis",
 year         = "2006",
 title        = "Modeling Heterogeneous Real-time Components in {BIP}",
 booktitle    = "$4^{th}$ {IEEE} Int. Conf. on Software Engineering and Formal Methods ({SEFM06})",
 pages        = "3--12",
 doi          = "10.1109/SEFM.2006.27",
 note         = "Invited talk",
)
@inproceedings(D-Finder2,
 author       = "Saddek Bensalem and Andreas Griesmayer and Axel Legay and Thanh-Hung Nguyen and Joseph Sifakis and Rongjie Yan",
 year         = "2011",
 title        = "{D-Finder 2}: towards efficient correctness of incremental design",
 booktitle    = "Proceedings of the $3^{rd}$ international conference on NASA Formal methods",
 series       = "NFM'11",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "453--458",
 doi          = "10.1007/978-3-642-20398-5\_32",
 url          = "http://dl.acm.org/citation.cfm?id=1986308.1986344",
)
@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",
)
@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",
)
@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",
)
@phdthesis(bloom-phd,
 author       = "Bard Bloom",
 year         = "1989",
 title        = "Ready Simulation, Bisimulation, and the Semantics of {CCS}-Like Languages",
 school       = "Massachusetts Institute of Technology",
)
@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",
)
@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",
)
@article(clements95-fromsubroutines,
 author       = "Paul C. Clements",
 year         = "1995",
 title        = "From Subroutines to Subsystems: Component-Based Software Development",
 journal      = "The American Programmer",
 volume       = "8",
 number       = "11",
)
@article(coulson08,
 author       = "Geoff Coulson and Gordon Blair and Paul Grace and Francois Taiani and Ackbar Joolia and Kevin Lee and Jo Ueyama and Thirunavukkarasu Sivaharan",
 year         = "2008",
 title        = "A generic component model for building systems software",
 journal      = "ACM Trans. Comput. Syst.",
 volume       = "26",
 number       = "1",
 pages        = "1:1--1:42",
 doi          = "10.1145/1328671.1328672",
)
@inproceedings(diGiusto11,
 author       = "Cinzia Di Giusto and Jean-Bernard Stefani",
 year         = "2011",
 title        = "Revisiting Glue Expressiveness in Component-Based Systems",
 editor       = "Wolfgang De Meuter and Gruia-Catalin Roman",
 booktitle    = "COORDINATION",
 series       = "Lecture Notes in Computer Science",
 volume       = "6721",
 publisher    = "Springer",
 pages        = "16--30",
 doi          = "10.1007/978-3-642-21464-6\_2",
)
@inproceedings(hasuo11-microcosm,
 author       = "Ichiro Hasuo",
 year         = "2011",
 title        = "The Microcosm Principle and Compositionality of GSOS-Based Component Calculi",
 editor       = "Andrea Corradini and Bartek Klin and Corina C\^{\i }rstea",
 booktitle    = "CALCO",
 series       = "Lecture Notes in Computer Science",
 volume       = "6859",
 publisher    = "Springer",
 pages        = "222--236",
 doi          = "10.1007/978-3-642-22944-2\_16",
)
@inproceedings(Sokolova08-microcosm,
 author       = "Ichiro Hasuo and Bart Jacobs and Ana Sokolova",
 year         = "2008",
 title        = "The Microcosm Principle and Concurrency in Coalgebra",
 editor       = "Roberto M. Amadio",
 booktitle    = "FoSSaCS",
 series       = "LNCS",
 volume       = "4962",
 publisher    = "Springer",
 pages        = "246--260",
 doi          = "10.1007/978-3-540-78499-9\_18",
)
@book(hoare85,
 author       = "C. A. R. Hoare",
 year         = "1985",
 title        = "Communicating Sequential Processes",
 series       = "Prentice Hall International Series in Computer Science",
 publisher    = "Prentice Hall",
)
@incollection(larsen07-modal-aut,
 author       = "Kim Larsen and Ulrik Nyman and Andrzej W{\c {a}}sowski",
 year         = "2007",
 title        = "Modal I/O Automata for Interface and Product Line Theories",
 editor       = "Rocco De Nicola",
 booktitle    = "Programming Languages and Systems",
 series       = "Lecture Notes in Computer Science",
 volume       = "4421",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "64--79",
 doi          = "10.1007/978-3-540-71316-6\_6",
)
@inproceedings(vardi09-libraries,
 author       = "Yoad Lustig and Moshe Y. Vardi",
 year         = "2009",
 title        = "Synthesis from Component Libraries",
 booktitle    = "FOSSACS'09: Proceedings of the $12^{th}$ International Conference on Foundations of Software Science and Computational Structures",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "395--409",
 doi          = "10.1007/978-3-642-00596-1\_28",
)
@article(mckinley04-adaptive-sw,
 author       = "Philip K. McKinley and Seyed Masoud Sadjadi and Eric P. Kasten and Betty H.C. Cheng",
 year         = "2004",
 title        = "Composing adaptive software",
 journal      = "Computer",
 volume       = "37",
 number       = "7",
 pages        = "56--64",
 doi          = "10.1109/MC.2004.48",
)
@article(milner83-calculi,
 author       = "Robin Milner",
 year         = "1983",
 title        = "Calculi for synchrony and asynchrony",
 journal      = "Theoretical Computer Science",
 volume       = "25",
 number       = "3",
 pages        = "267--310",
 doi          = "10.1016/0304-3975(83)90114-7",
)
@book(milner89,
 author       = "Robin Milner",
 year         = "1989",
 title        = "Communication and Concurrency",
 series       = "Prentice Hall International Series in Computer Science",
 publisher    = "Prentice Hall",
)
@techreport(plotkin81structural,
 author       = "Gordon D. Plotkin",
 year         = "1981",
 title        = "A Structural Approach to Operational Semantics",
 type         = "Technical Report",
 number       = "DAIMI FN-19",
 institution  = "University of Aarhus",
 url          = "http://citeseer.ist.psu.edu/plotkin81structural.html",
)
@article(pnueli90-synthesis-hard,
 author       = "Amir Pnueli and Roni Rosner",
 year         = "1990",
 title        = "Distributed reactive systems are hard to synthesize",
 journal      = "Annual IEEE Symposium on Foundations of Computer Science",
 volume       = "2",
 pages        = "746--757",
 doi          = "10.1109/FSCS.1990.89597",
)
@inproceedings(rashid02-requirements,
 author       = "Awais Rashid and Peter Sawyer and Ana Moreira and Jo{\~a}o Ara{\'u}jo",
 year         = "2002",
 title        = "Early aspects: a model for aspect-oriented requirements engineering",
 booktitle    = "Proceedings of the IEEE Joint International Conference on Requirements Engineering (RE'02).",
 pages        = "199--202",
 doi          = "10.1109/ICRE.2002.1048526",
)
@article(Rutten00,
 author       = "Jan J. M. M. Rutten",
 year         = "2000",
 title        = "Universal coalgebra: a theory of systems",
 journal      = "Theor. Comput. Sci.",
 volume       = "249",
 number       = "1",
 pages        = "3--80",
 doi          = "10.1016/S0304-3975(00)00056-6",
)
@inproceedings(Sifakis,
 author       = "J. Sifakis",
 year         = "2005",
 title        = "A Framework for Component-based Construction",
 booktitle    = "Proceedings of the Third International Conference on Software Engineering and Formal Methods ({SEFM})",
 publisher    = "IEEE Computer Society",
 pages        = "293--300",
)
@phdthesis(Silva-PhD,
 author       = "Alexandra Silva",
 year         = "2010",
 title        = "Kleene Coalgebra",
 school       = "CWI",
 address      = "Amsterdam, The Netherlands",
)
@phdthesis(Sokolova-PhD,
 author       = "Ana Sokolova",
 year         = "2005",
 title        = "Coalgebraic Analysis of Probabilistic Systems",
 school       = "TU Eindhoven",
 address      = "Eindhoven, The Netherlands",
)
@inproceedings(turi97-math-op-sem,
 author       = "Daniele Turi and Gordon D. Plotkin",
 year         = "1997",
 title        = "Towards a Mathematical Operational Semantics",
 booktitle    = "LICS",
 publisher    = "IEEE Computer Society",
 pages        = "280--291",
 doi          = "10.1109/LICS.1997.614955",
)
@inproceedings(Wegner96,
 author       = "Peter Wegner",
 year         = "1996",
 title        = "Coordination as constrained interaction (extended abstract)",
 booktitle    = "Proc. of the First International Conference on Coordination Languages and Models",
 series       = "LNCS",
 volume       = "1061",
 publisher    = "Springer-Verlag",
 address      = "Springer Berlin / Heidelberg",
 pages        = "28--33",
 doi          = "10.1007/3-540-61052-9",
)