@inproceedings(AR12,
 author       = "Gabrielle Anderson and Julian Rathke",
 year         = "2012",
 title        = "{Dynamic Software Update for Message Passing Programs}",
 booktitle    = "APLAS'12",
 series       = "LNCS 7705",
 publisher    = "Springer",
 pages        = "207--222",
 doi          = "10.1007/978-3-642-35182-2\_15",
)
@article(BDPZ12,
 author       = "Mario Bravetti and Cinzia {Di Giusto} and Jorge A. P{\'e}rez and Gianluigi Zavattaro",
 year         = "2012",
 title        = "{Adaptable Processes}",
 journal      = "Logical Methods in Comper Science",
 volume       = "8",
 number       = "4",
 doi          = "10.2168/LMCS-8(4:13)2012",
)
@inproceedings(BCGLV12,
 author       = "Roberto Bruni and Andrea Corradini and Fabio Gadducci and Alberto Lluch-Lafuente and Andrea Vandin",
 year         = "2012",
 title        = "{A Conceptual Framework for Adaptation}",
 booktitle    = "FASE'12",
 series       = "LNCS",
 volume       = "7212",
 publisher    = "Springer",
 pages        = "240--254",
 doi          = "10.1007/978-3-642-28872-2",
)
@inproceedings(CP10,
 author       = "Lu\'{\i }s Caires and Frank Pfenning",
 year         = "2010",
 title        = "{Session Types as Intuitionistic Linear Propositions}",
 booktitle    = "CONCUR'10",
 series       = "LNCS",
 volume       = "6269",
 publisher    = "Springer",
 pages        = "222--236",
 doi          = "10.1007/978-3-642-15375-4\_16",
)
@article(CastagnaGesbertPadovani09,
 author       = "Giuseppe Castagna and Nils Gesbert and Luca Padovani",
 year         = "2009",
 title        = "{A} {T}heory of {C}ontracts for {W}eb {S}ervices",
 journal      = "ACM Transactions on Programming Languages and Systems",
 volume       = "31",
 number       = "5",
 doi          = "10.1145/1538917.1538920",
)
@article(CDMZ13,
 author       = "Mario Coppo and Mariangiola Dezani-Ciancaglini and Ines Margaria and Maddalena Zacchi",
 year         = "2014",
 title        = "Isomorphism of Intersection and Union Types",
 journal      = "Mathematical Structures in Computer Science",
 note         = "\url {http://www.di.unito.it/~dezani/papers/cdmz.pdf}, to appear",
)
@inproceedings(CDV14,
 author       = "Mario Coppo and Mariangiola Dezani-Ciancaglini and Betti Venneri",
 year         = "2014",
 title        = "{Self-Adaptive Monitors for Multiparty Sessions}",
 booktitle    = "PDP'14",
 publisher    = "IEEE",
 pages        = "688--696",
 doi          = "10.1109/PDP.2014.18",
)
@misc(DGGJL13,
 author       = "Mila {dalla Preda} and Ivan Lanese and Jacopo Mauro and Maurizio Gabbrielli and Saverio Giallorenzo",
 year         = "2013",
 title        = "{Safe Run-time Adaptation of Distributed Systems}",
 note         = "\url {http://www.cs.unibo.it/~lanese/publications/fulltext/safeadapt.pdf.gz}",
)
@article(DDGT10,
 author       = "Mariangiola Dezani-Ciancaglini and Roberto Di Cosmo and Elio Giovannetti and Makoto Tatsuta",
 year         = "2010",
 title        = "{On Isomorphisms of Intersection Types}",
 journal      = "ACM Transactions on Computational Logic",
 volume       = "11",
 number       = "4",
 pages        = "1--22",
 doi          = "10.1145/1805950.1805955",
)
@book(DiCosmo95,
 author       = "Roberto Di Cosmo",
 year         = "1995",
 title        = "Isomorphisms of Types: From Lambda-Calculus to Information Retrieval and Language Design",
 publisher    = "Birkhauser Boston",
 doi          = "10.1017/S0960129505004871",
)
@inproceedings(DP13,
 author       = "Cinzia {Di Giusto} and Jorge A. P{\'e}rez",
 year         = "2013",
 title        = "{Disciplined Structured Communications with Consistent Runtime Adaptation}",
 booktitle    = "SAC'13",
 publisher    = "ACM Press",
 pages        = "1913--1918",
 doi          = "10.1145/2480362.2480716",
)
@article(apal:06,
 author       = "Marcelo Fiore and Roberto Di Cosmo and Vincent Balat",
 year         = "2006",
 title        = "{Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types}",
 journal      = "Annals of Pure and Applied Logic",
 volume       = "141",
 number       = "1--2",
 pages        = "35--50",
 doi          = "10.1016/j.apal.2005.09.001",
)
@article(Padovani10,
 author       = "Luca Padovani",
 year         = "2010",
 title        = "{C}ontract-{B}ased {D}iscovery of {W}eb {S}ervices {M}odulo {S}imple {O}rchestrators",
 journal      = "Theoretical Computer Science",
 volume       = "411",
 pages        = "3328--3347",
 doi          = "10.1016/j.tcs.2010.05.002",
)
@inproceedings(PCPT12,
 author       = "Jorge A. P{\'e}rez and Lu\'{\i }s Caires and Frank Pfenning and Bernardo Toninho",
 year         = "2012",
 title        = "{Linear Logical Relations for Session-Based Concurrency}",
 booktitle    = "ESOP'12",
 series       = "LNCS",
 volume       = "7211",
 publisher    = "Springer",
 pages        = "539--558",
 doi          = "10.1007/978-3-642-28869-2\_27",
)
@inproceedings(W12,
 author       = "Philip Wadler",
 year         = "2012",
 title        = "{Propositions as Sessions}",
 booktitle    = "ICFP'12",
 publisher    = "ACM",
 pages        = "273--286",
 doi          = "10.1145/2364527.2364568",
)