@article(BdL13,
 author       = {F. Barbanera and U. de'Liguoro},
 year         = {2015},
 title        = {{Sub-behaviour relations for session-based client/server systems}},
 journal      = {MSCS},
 volume       = {25},
 number       = {6},
 pages        = {1339--1381},
 doi          = {10.1017/S096012951400005X},
)
@inproceedings(francoICEprev,
 author       = {Franco Barbanera and Ugo de'Liguoro and Rolf Hennicker},
 year         = {2018},
 title        = {Global Types for Open Systems},
 editor       = {Massimo Bartoletti and Sophia Knight},
 booktitle    = {ICE},
 series       = {{EPTCS}},
 volume       = {279},
 pages        = {4--20},
 doi          = {10.4204/EPTCS.279.4},
)
@article(BarbaneradH19,
 author       = {Franco Barbanera and Ugo de'Liguoro and Rolf Hennicker},
 year         = {2019},
 title        = {Connecting open systems of communicating finite state machines},
 journal      = {JLAMP},
 volume       = {109},
 doi          = {10.1016/j.jlamp.2019.07.004},
)
@article(nostroJLAMP,
 author       = {Franco Barbanera and Dezani{-}Ciancaglini, Mariangiola and Ivan Lanese and Emilio Tuosto},
 year         = {2021},
 title        = {Composition and decomposition of multiparty sessions},
 journal      = {JLAMP},
 volume       = {119},
 pages        = {100620},
 doi          = {10.1016/j.jlamp.2020.100620},
)
@inproceedings(BLT20b,
 author       = {Franco Barbanera and Ivan Lanese and Emilio Tuosto},
 year         = {2020},
 title        = {Composing Communicating Systems, Synchronously},
 editor       = {Tiziana Margaria and Bernhard Steffen},
 booktitle    = {ISoLA 2020},
 series       = {LNCS},
 volume       = {12476},
 publisher    = {Springer},
 pages        = {39--59},
 doi          = {10.1007/978-3-030-61362-4\_3},
)
@unpublished(bltice22TR,
 author       = {Franco Barbanera and Ivan Lanese and Emilio Tuosto},
 year         = {2022},
 title        = {On Composing Communicating Systems. {F}ull Version},
 note         = {Available at \url{https://emwww.github.io/home/slides/ice22TR.pdf}},
)
@inproceedings(BartolettiCZ15,
 author       = {Massimo Bartoletti and Tiziana Cimoli and Roberto Zunino},
 year         = {2015},
 title        = {Compliance in Behavioural Contracts: {A} Brief Survey},
 editor       = {Chiara Bodei and Gian Luigi Ferrari and Corrado Priami},
 booktitle    = {Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday},
 series       = {Lecture Notes in Computer Science},
 volume       = {9465},
 publisher    = {Springer},
 pages        = {103--121},
 doi          = {10.1007/978-3-319-25527-9\_9},
)
@inproceedings(BartolettiSZ14,
 author       = {Massimo Bartoletti and Alceste Scalas and Roberto Zunino},
 year         = {2014},
 title        = {A Semantic Deconstruction of Session Types},
 editor       = {Paolo Baldan and Daniele Gorla},
 booktitle    = {{CONCUR} 2014},
 series       = {LNCS},
 volume       = {8704},
 publisher    = {Springer},
 pages        = {402--418},
 doi          = {10.1007/978-3-662-44584-6\_28},
)
@article(btp20,
 author       = {Davide Basile and Maurice H. ter Beek and Rosario Pugliese},
 year         = {2020},
 title        = {Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services},
 journal      = {LMCS},
 volume       = {16},
 number       = {2},
 doi          = {10.23638/LMCS-16(2:9)2020},
)
@inproceedings(bdft16,
 author       = {Davide Basile and Pierpaolo Degano and Gian Luigi Ferrari and Emilio Tuosto},
 year         = {2016},
 title        = {Playing with Our {CAT} and Communication-Centric Applications},
 editor       = {Elvira Albert and Ivan Lanese},
 booktitle    = {FORTE},
 series       = {LNCS},
 volume       = {9688},
 publisher    = {Springer},
 pages        = {62--73},
 doi          = {10.1007/978-3-319-39570-8\_5},
)
@inproceedings(HennessyB12,
 author       = {G. Bernardi and M. Hennessy},
 year         = {2012},
 title        = {Modelling session types using contracts},
 booktitle    = {Proceedings of the 27th Annual ACM Symposium on Applied Computing},
 series       = {SAC '12},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {1941--1946},
 doi          = {10.1145/2231936.2232097},
)
@article(bz83,
 author       = {Daniel Brand and Pitro Zafiropulo},
 year         = {1983},
 title        = {On Communicating Finite-State Machines},
 journal      = {J. {ACM}},
 volume       = {30},
 number       = {2},
 pages        = {323--342},
 doi          = {10.1145/322374.322380},
)
@article(cf05,
 author       = {G{\'e}rard C{\'e}c{\'e} and Alain Finkel},
 year         = {2005},
 title        = {Verification of programs with half-duplex communication},
 journal      = {I\&C},
 volume       = {202},
 number       = {2},
 pages        = {166--190},
 doi          = {10.1016/j.ic.2005.05.006},
)
@inproceedings(honda.vasconcelos.kubo:language-primitives,
 author       = {K. Honda and V. T. Vasconcelos and M. Kubo},
 year         = {1998},
 title        = {Language Primitives and Type Disciplines for Structured Communication-based Programming},
 editor       = {Chris Hankin},
 booktitle    = {ESOP},
 series       = {LNCS},
 volume       = {1381},
 publisher    = {Springer},
 pages        = {22--138},
 doi          = {10.1007/BFb0053567},
)
@article(survey,
 author       = {H. H\"{u}ttel},
 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},
)
@inproceedings(LangeTY15,
 author       = {Julien Lange and Emilio Tuosto and Nobuko Yoshida},
 year         = {2015},
 title        = {From Communicating Machines to Graphical Choreographies},
 editor       = {Sriram K. Rajamani and David Walker},
 booktitle    = {POPL},
 publisher    = {{ACM}},
 pages        = {221--232},
 doi          = {10.1145/2676726.2676964},
)
@book(MilnerR:calcs,
 author       = {Robin Milner},
 year         = {1980},
 title        = {A Calculus of Communicating Systems},
 series       = {LNCS},
 volume       = {92},
 publisher    = {Springer},
 address      = {Berlin},
 doi          = {10.1007/3-540-10235-3},
)
@article(Padovani10,
 author       = {L. Padovani},
 year         = {2010},
 title        = {Contract-Based Discovery of Web Services Modulo Simple Orchestrators},
 journal      = {Theoretical Computer Science},
 volume       = {411},
 pages        = {3328--3347},
 doi          = {10.1016/j.tcs.2010.05.002},
)
@article(gt18,
 author       = {Emilio Tuosto and Roberto Guanciale},
 year         = {2018},
 title        = {Semantics of global view of choreographies},
 journal      = {JLAMP},
 volume       = {95},
 pages        = {17--40},
 doi          = {10.1016/j.jlamp.2017.11.002},
)