Gabrielle Anderson & Julian Rathke (2012):
Dynamic Software Update for Message Passing Programs.
In: APLAS'12,
LNCS 7705.
Springer,
pp. 207–222,
doi:10.1007/978-3-642-35182-2_15.
Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini & Nobuko Yoshida (2008):
Global Progress in Dynamically Interleaved Multiparty Sessions.
In: CONCUR'08,
LNCS 5201.
Springer,
pp. 418–433,
doi:10.1007/978-3-540-85361-9_33.
Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda & Nobuko Yoshida (2013):
Monitoring Networks through Multiparty Session Types.
In: FMOODS/FORTE'13,
LNCS 7892.
Springer,
pp. 50–65,
doi:10.1007/978-3-642-38592-6_5.
Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez & Gianluigi Zavattaro (2014):
Towards Global and Local Types for Adaptation.
In: SEFM'13,
LNCS 8368.
Springer,
pp. 3–14,
doi:10.1007/978-3-319-05032-4_1.
Marco Carbone, Kohei Honda & Nobuko Yoshida (2012):
Structured Communication-Centered Programming for Web Services.
ACM Transactions on Programming Languages and Systems 34(2),
pp. 8:1–8:78,
doi:10.1145/2220365.2220367.
Ilaria Castellani, Mariangiola Dezani-Ciancaglini & Jorge A. Pérez (2014):
Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective.
In: BEAT'14,
EPTCS 162.
Open Publishing Association,
pp. 9–18,
doi:10.4204/EPTCS.162.2.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani & Nobuko Yoshida (2015):
A Gentle Introduction to Multiparty Asynchronous Session Types.
In: SFM'15,
LNCS 9104.
Springer,
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.
Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro & Maurizio Gabbrielli (2014):
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications.
In: SLE'14,
LNCS 8706.
Springer,
pp. 161–170,
doi:10.1007/978-3-319-11245-9_9.
Pierre-Malo Deniélou & Nobuko Yoshida (2011):
Dynamic Multirole Session Types.
In: POPL'11.
ACM Press,
pp. 435–446,
doi:10.1145/1926385.1926435.
Kohei Honda, Vasco T. Vasconcelos & Makoto Kubo (1998):
Language Primitives and Type Disciplines for Structured Communication-based Programming.
In: ESOP'98,
LNCS 1381.
Springer,
pp. 22–138,
doi:10.1007/BFb0053567.
Kohei Honda, Nobuko Yoshida & Marco Carbone (2008):
Multiparty Asynchronous Session Types.
In: POPL'08.
ACM Press,
pp. 273–284,
doi:10.1145/1328438.1328472.
Hans Hüttel, Ivan Lanese, Vasco Thudichum Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara, Emilio Tuosto, Hugo Torres Vieira & Gianluigi Zavattaro (2014):
Foundations of Behavioural Types.
http://www.behavioural-types.eu/publications/WG1-State-of-the-Art.pdf.
Benjamin C. Pierce (2002):
Types and Programming Languages.
MIT Press.
Fred B. Schneider (2000):
Enforceable Security Policies.
ACM Transactions on Information and System Security 3(1),
pp. 30–50,
doi:10.1145/353323.353382.
eptcs@eptcs.org