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.
Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez & Gianluigi Zavattaro (2012):
Adaptable Processes.
Logical Methods in Comper Science 8(4),
doi:10.2168/LMCS-8(4:13)2012.
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente & Andrea Vandin (2012):
A Conceptual Framework for Adaptation.
In: FASE'12,
LNCS 7212.
Springer,
pp. 240–254,
doi:10.1007/978-3-642-28872-2.
Luís Caires & Frank Pfenning (2010):
Session Types as Intuitionistic Linear Propositions.
In: CONCUR'10,
LNCS 6269.
Springer,
pp. 222–236,
doi:10.1007/978-3-642-15375-4_16.
Giuseppe Castagna, Nils Gesbert & Luca Padovani (2009):
A Theory of Contracts for Web Services.
ACM Transactions on Programming Languages and Systems 31(5),
doi:10.1145/1538917.1538920.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria & Maddalena Zacchi (2014):
Isomorphism of Intersection and Union Types.
Mathematical Structures in Computer Science.
http://www.di.unito.it/~dezani/papers/cdmz.pdf, to appear.
Mario Coppo, Mariangiola Dezani-Ciancaglini & Betti Venneri (2014):
Self-Adaptive Monitors for Multiparty Sessions.
In: PDP'14.
IEEE,
pp. 688–696,
doi:10.1109/PDP.2014.18.
Mila dalla Preda, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli & Saverio Giallorenzo (2013):
Safe Run-time Adaptation of Distributed Systems.
http://www.cs.unibo.it/~lanese/publications/fulltext/safeadapt.pdf.gz.
Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti & Makoto Tatsuta (2010):
On Isomorphisms of Intersection Types.
ACM Transactions on Computational Logic 11(4),
pp. 1–22,
doi:10.1145/1805950.1805955.
Roberto Di Cosmo (1995):
Isomorphisms of Types: From Lambda-Calculus to Information Retrieval and Language Design.
Birkhauser Boston,
doi:10.1017/S0960129505004871.
Cinzia Di Giusto & Jorge A. Pérez (2013):
Disciplined Structured Communications with Consistent Runtime Adaptation.
In: SAC'13.
ACM Press,
pp. 1913–1918,
doi:10.1145/2480362.2480716.
Marcelo Fiore, Roberto Di Cosmo & Vincent Balat (2006):
Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types.
Annals of Pure and Applied Logic 141(1–2),
pp. 35–50,
doi:10.1016/j.apal.2005.09.001.
Luca 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.
Jorge A. Pérez, Luís Caires, Frank Pfenning & Bernardo Toninho (2012):
Linear Logical Relations for Session-Based Concurrency.
In: ESOP'12,
LNCS 7211.
Springer,
pp. 539–558,
doi:10.1007/978-3-642-28869-2_27.
Philip Wadler (2012):
Propositions as Sessions.
In: ICFP'12.
ACM,
pp. 273–286,
doi:10.1145/2364527.2364568.
eptcs@eptcs.org