@article(BarBliu15-offer,
 author       = {Eduard Baranov and Simon Bliudze},
 year         = {2015},
 title        = {Offer semantics: {A}chieving compositionality, flattening and full expressiveness for the glue operators in {BIP}},
 journal      = {Science of Computer Programming},
 volume       = {109},
 number       = {0},
 pages        = {2--35},
 doi          = {10.1016/j.scico.2015.05.011},
 note         = {Selected Papers of the 6th Interaction and Concurrency Experience (ICE 2013)},
)
@article(Basu:2011,
 author       = {Ananda Basu and Saddek Bensalem and Marius Bozga and Jacques Combaz and Mohamad Jaber and Thanh-Hung Nguyen and Joseph Sifakis},
 year         = {2011},
 title        = {Rigorous component-based system design using the {BIP} framework},
 journal      = {IEEE Software},
 volume       = {28},
 number       = {3},
 pages        = {41--48},
 doi          = {10.1109/MS.2011.27},
)
@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(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},
 doi          = {10.1007/978-3-540-85361-9\_39},
)
@inproceedings(BBJS14-internalisation,
 author       = {Simon Bliudze and Joseph Sifakis and Marius Dorel Bozga and Mohamad Jaber},
 year         = {2014},
 title        = {Architecture Internalisation in {BIP}},
 booktitle    = {Proceedings of the 17th International ACM Sigsoft Symposium on Component-based Software Engineering},
 series       = {CBSE '14},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {169--178},
 doi          = {10.1145/2602458.2602477},
)
@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},
)
@incollection(bruni12-tiles-wire-BIP,
 author       = {Roberto Bruni and Hernán Melgratti and Ugo Montanari},
 year         = {2012},
 title        = {Connector Algebras, Petri Nets, and BIP},
 editor       = {Edmund Clarke and Irina Virbitskaite and Andrei Voronkov},
 booktitle    = {Perspectives of Systems Informatics},
 series       = {Lecture Notes in Computer Science},
 volume       = {7162},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {19--38},
 doi          = {10.1007/978-3-642-29709-0\_2},
)
@inproceedings(Dezani10-session-types,
 author       = {Dezani-Ciancaglini, Mariangiola and Ugo de'Liguoro},
 year         = {2010},
 title        = {Sessions and Session Types: {An} Overview},
 editor       = {Cosimo Laneve and Jianwen Su},
 booktitle    = {Web Services and Formal Methods: 6th International Workshop, WS-FM 2009},
 series       = {Lecture Notes in Computer Science},
 volume       = {6194},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {1--28},
 doi          = {10.1007/978-3-642-14458-5\_1},
)
@inproceedings(dokter2015relating,
 author       = {Kasper Dokter and Sung{-}Shik T. Q. Jongmans and Farhad Arbab and Simon Bliudze},
 year         = {2015},
 title        = {Relating {BIP} and Reo},
 editor       = {Sophia Knight and Ivan Lanese and Lluch{-}Lafuente, Alberto and Hugo Torres Vieira},
 booktitle    = {Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015, Grenoble, France, 4-5th June 2015.},
 series       = {{EPTCS}},
 volume       = {189},
 pages        = {3--20},
 doi          = {10.4204/EPTCS.189.3},
)
@article(Ptolemy,
 author       = {J. Eker and J.W. Janneck and E.A. Lee and J. Liu and X. Liu and J. Ludvig and S. Neuendorffer and S. Sachs and Y. Xiong},
 year         = {2003},
 title        = {Taming Heterogeneity: {T}he {P}tolemy Approach},
 journal      = {Proceedings of the IEEE},
 volume       = {91},
 number       = {1},
 pages        = {127--144},
 doi          = {10.1109/JPROC.2002.805829},
)
@inproceedings(fell90-exp-power-pl,
 author       = {Matthias Felleisen},
 year         = {1990},
 title        = {On the expressive power of programming languages},
 booktitle    = {$3^{rd}$ European Symposium on Programming ({ESOP'90})},
 series       = {LNCS},
 volume       = {432},
 publisher    = {Springer},
 pages        = {134--151},
 doi          = {10.1007/3-540-52592-0\_60},
)
@inproceedings(van2012musings,
 author       = {Rob J. van Glabbeek},
 year         = {2012},
 title        = {Musings on Encodings and Expressiveness},
 editor       = {Bas Luttik and Michel A. Reniers},
 booktitle    = {Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, {EXPRESS/SOS} 2012, Newcastle upon Tyne, UK, September 3, 2012.},
 series       = {{EPTCS}},
 volume       = {89},
 pages        = {81--98},
 doi          = {10.4204/EPTCS.89.7},
)
@article(GORLA20101031,
 author       = {Daniele Gorla},
 year         = {2010},
 title        = {Towards a unified approach to encodability and separation results for process calculi},
 journal      = {Information and Computation},
 volume       = {208},
 number       = {9},
 pages        = {1031--1053},
 doi          = {10.1016/j.ic.2010.05.002},
)
@inproceedings(GosSif04-priority,
 author       = {G{\"{o}}{\ss}ler, Gregor and Joseph Sifakis},
 year         = {2003},
 title        = {Priority Systems},
 editor       = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever},
 booktitle    = {Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures},
 series       = {Lecture Notes in Computer Science},
 volume       = {3188},
 publisher    = {Springer},
 pages        = {314--329},
 doi          = {10.1007/978-3-540-30101-1\_15},
)
@article(gossler05composition,
 author       = {Gregor G{\"o}ssler and Joseph Sifakis},
 year         = {2005},
 title        = {Composition for component-based modeling},
 journal      = {Science of Computer Programming},
 volume       = {55},
 number       = {1--3},
 pages        = {161--183},
 doi          = {10.1016/j.scico.2004.05.014},
 note         = {Formal Methods for Components and Objects: Pragmatic aspects and applications},
)
@incollection(honda98-session-types,
 author       = {Kohei Honda and Vasco T. Vasconcelos and Makoto Kubo},
 year         = {1998},
 title        = {Language primitives and type discipline for structured communication-based programming},
 editor       = {Chris Hankin},
 booktitle    = {Programming Languages and Systems},
 series       = {LNCS},
 volume       = {1381},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {122--138},
 doi          = {10.1007/BFb0053567},
)
@article(Huttel16-foundations-types,
 author       = {Hans H\"{u}ttel and Ivan Lanese and Vasco T. Vasconcelos and Lu\'{\i}s Caires and Marco Carbone and Pierre-Malo Deni{\'e}lou and Dimitris Mostrous and Luca Padovani and Ant\'{o}nio Ravara and Emilio Tuosto and Hugo Torres Vieira and Gianluigi Zavattaro},
 year         = {2016},
 title        = {Foundations of Session Types and Behavioural Contracts},
 journal      = {ACM Comput. Surv.},
 volume       = {49},
 number       = {1},
 pages        = {3:1--3:36},
 doi          = {10.1145/2873052},
)
@book(milner89,
 author       = {Robin Milner},
 year         = {1989},
 title        = {Communication and Concurrency},
 series       = {Prentice Hall International Series in Computer Science},
 publisher    = {Prentice Hall},
)
@article(ordsos,
 author       = {MohammadReza Mousavi and Iain Phillips and Michel A. Reniers and Irek Ulidowski},
 year         = {2009},
 title        = {Semantics and expressiveness of ordered {SOS}},
 journal      = {Information and Computation},
 volume       = {207},
 pages        = {85--119},
 doi          = {10.1016/j.ic.2007.11.008},
)
@article(sos20ya,
 author       = {MohammadReza Mousavi and Michel A. Reniers and Jan Friso Groote},
 year         = {2007},
 title        = {{SOS} formats and meta-theory: 20 years after},
 journal      = {Theoretical Computer Science},
 volume       = {373},
 number       = {3},
 pages        = {238--272},
 doi          = {10.1016/j.tcs.2006.12.019},
)
@article(park1981caa,
 author       = {David M. R. Park},
 year         = {1981},
 title        = {Concurrency and Automata on Infinite Sequences},
 journal      = {Proceedings of the 5th GI-Conference on Theoretical Computer Science},
 pages        = {167--183},
 doi          = {10.1007/BFb0017309},
)
@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(framework05,
 author       = {Joseph Sifakis},
 year         = {2005},
 title        = {A Framework for Component-based Construction},
 booktitle    = {$3^{rd}$ {IEEE} Int. Conf. on Software Engineering and Formal Methods ({SEFM05})},
 pages        = {293--300},
 doi          = {10.1109/SEFM.2005.3},
 note         = {Keynote talk},
)
@inproceedings(sobocinski09-wire,
 author       = {Pawel Sobocinski},
 year         = {2009},
 title        = {A non-interleaving process calculus for multi-party synchronisation},
 editor       = {Filippo Bonchi and Davide Grohmann and Paola Spoletini and Emilio Tuosto},
 booktitle    = {ICE},
 series       = {EPTCS},
 volume       = {12},
 pages        = {87--98},
 doi          = {10.4204/EPTCS.12.6},
)