Giovanni Bernardi & Matthew Hennessy (2015):
Mutually Testing Processes.
LMCS 11(2),
doi:10.2168/LMCS-11(2:1)2015.
Ilaria Castellani, Mariangiola Dezani-Ciancaglini & Jorge A. Pérez (2016):
Self-adaptation and secure information flow in multiparty communications.
Formal Asp. Comput. 28(4),
pp. 669–696,
doi:10.1007/s00165-016-0381-3.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani & Nobuko Yoshida (2015):
A Gentle Introduction to Multiparty Asynchronous Session Types.
In: SFM 2015,
pp. 146–178,
doi:10.1007/978-3-319-18941-3_4.
Mario Coppo, Mariangiola Dezani-Ciancaglini & Betti Venneri (2015):
Self-adaptive multiparty sessions.
Service Oriented Computing and Applications 9(3-4),
pp. 249–268,
doi:10.1007/s11761-014-0171-9.
Roberto Di Cosmo (2005):
A short survey of isomorphisms of types.
MSCS 15(5),
pp. 825–838,
doi:10.1017/S0960129505004871.
Romain Demangeon & Nobuko Yoshida (2015):
On the Expressiveness of Multiparty Sessions.
In: FSTTCS 2015,
LIPIcs 45.
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
pp. 560–574,
doi:10.4230/LIPIcs.FSTTCS.2015.560.
Pierre-Malo Deniélou & Nobuko Yoshida (2013):
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types.
In: ICALP 2013,
pp. 174–186,
doi:10.1007/978-3-642-39212-2_18.
Mariangiola Dezani-Ciancaglini, Luca Padovani & Jovanka Pantovic (2014):
Session Type Isomorphisms.
In: PLACES 2014,
EPTCS 155,
pp. 61–71,
doi:10.4204/EPTCS.155.9.
Roberto Di Cosmo (1995):
Isomorphisms of types: from λ-calculus to information retrieval and language design.
Birkhauser,
doi:10.1007/978-1-4612-2572-0.
Kohei Honda, Nobuko Yoshida & Marco Carbone (2008):
Multiparty asynchronous session types.
In: POPL2008,
pp. 273–284,
doi:10.1145/1328438.1328472.
Dimitrios Kouzapas & Nobuko Yoshida (2014):
Globally Governed Session Semantics.
Logical Methods in Computer Science 10(4),
doi:10.2168/LMCS-10(4:20)2014.
Robin Milner (1984):
Lectures on a Calculus for Communicating Systems.
In: Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984,
pp. 197–220,
doi:10.1007/3-540-15670-4_10.
Jorge A. Pérez, Luís Caires, Frank Pfenning & Bernardo Toninho (2014):
Linear logical relations and observational equivalences for session-based concurrency.
Inf. Comput. 239,
pp. 254–302,
doi:10.1016/j.ic.2014.08.001.
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese & Jacopo Mauro (2017):
Dynamic Choreographies: Theory And Implementation.
Logical Methods in Computer Science 13(2),
doi:10.23638/LMCS-13(2:1)2017.
Nobuko Yoshida, Raymond Hu, Rumyana Neykova & Nicholas Ng (2013):
The Scribble Protocol Language.
In: Trustworthy Global Computing - 8th International Symposium, TGC 2013,
pp. 22–41,
doi:10.1007/978-3-319-05119-2_3.
eptcs@eptcs.org