1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria & Maddalena Zacchi (2014): Isomorphism of Intersection and Union Types. Mathematical Structures in Computer Science., to appear.
  7. 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.
  8. Mila dalla Preda, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli & Saverio Giallorenzo (2013): Safe Run-time Adaptation of Distributed Systems.
  9. 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.
  10. Roberto Di Cosmo (1995): Isomorphisms of Types: From Lambda-Calculus to Information Retrieval and Language Design. Birkhauser Boston, doi:10.1017/S0960129505004871.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. Philip Wadler (2012): Propositions as Sessions. In: ICFP'12. ACM, pp. 273–286, doi:10.1145/2364527.2364568.

Comments and questions to:
For website issues: