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