Claudio, Guidi; Ivan, Lanese; Manuel, Mazzara; Fabrizio, Montesi, Microservices: A Language-Based Approach, in: Present and Ulterior Software Engineering, Cham, Springer, 2017, pp. 217 - 225 [capitolo di libro]
Bresolin, Davide; Lanese, Ivan, Most general property-preserving updates, in: 11th International Conference on Language and Automata Theory and Applications, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2017, 10168, pp. 367 - 379 (atti di: 11th International Conference on Language and Automata Theory and Applications, LATA 2017, Umeå, Sweden, 2017) [Contributo in Atti di convegno]
Giallorenzo S.; Lanese I.; Mauro J.; Gabbrielli M., Programming adaptive microservice applications: An AIOCJ tutorial, in: Behavioural Types: from Theory to Tools, Gistrup, River Publishers, 2017, pp. 147 - 168 [capitolo di libro]Open Access
Franco, Barbanera; Ivan, Lanese; Ugo, De'Liguoro, Retractable and speculative contracts, in: Coordination Models and Languages - 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 19-22, 2017, Proceedings, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2017, pp. 119 - 137 (atti di: COORDINATION 2017, Neuchatel, Svizzera, 19-22 giugno 2017) [Contributo in Atti di convegno]
Bernadet, Alexis; Lanese, Ivan, A modular formalization of reversibility for concurrent models and languages, in: Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, 2016, 223, pp. 98 - 112 (atti di: 9th Interaction and Concurrency Experience, ICE 2016, Heraklion, Grecia, 8-9 Giugno 2016) [Contributo in Atti di convegno]
Hüttel, Hans; Lanese, Ivan; Vasconcelos, Vasco T.; Caires, Lúis; Carbone, Marco; Deniélou, Pierre Malo; Mostrous, Dimitris; Padovani, Luca; Ravara, António; Tuosto, Emilio; Vieira, Hugo Torres; Zavattaro, Gianluigi, Foundations of session types and behavioural contracts, «ACM COMPUTING SURVEYS», 2016, 49, Article number: 2873052, pp. 1 - 36 [articolo]Open Access
Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ivan Lanese; Ugo De'Liguoro, Retractable Contracts, in: Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015, London, UK, 18th April 2015., 2016, 203, pp. 61 - 72 (atti di: Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, London, UK, 18/4/2015) [Contributo in Atti di convegno]
Lanese, Ivan; Mezzina, Claudio Antares; Stefani, Jean Bernard, Reversibility in the higher-order π-calculus, «THEORETICAL COMPUTER SCIENCE», 2016, 625, pp. 25 - 84 [articolo]Open Access
Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco, Causal-consistent reversibility in a tuple-based language, in: M. Aldinucci, M. Daneshtalab, V. Leppänen, J. Lilius, M. Brorsson, Proceedings - 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Piscataway, Institute of Electrical and Electronics Engineers Inc., 2015, pp. 467 - 475 (atti di: 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Turku, Finland, March 4-6, 2015) [Contributo in Atti di convegno]
Dalla Preda, Mila; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo, Developing correct, distributed, adaptive software, «SCIENCE OF COMPUTER PROGRAMMING», 2015, 97, pp. 41 - 46 [articolo]
Dalla Preda, Mila; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo, Dynamic choreographies - Safe runtime updates of distributed applications, in: Coordination Models and Languages, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2015, 9037, pp. 67 - 82 (atti di: 17th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2015, Grenoble, France, June 2-4, 2015) [Contributo in Atti di convegno]
Lanese, Ivan; Montesi, Fabrizio; Zavattaro, Gianluigi, The evolution of Jolie: From orchestrations to adaptable choreographies, in: Software, Services, and Systems, Springer International Publishing, «LECTURE NOTES IN COMPUTER SCIENCE», 2015, 8950, pp. 506 - 521 (atti di: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, Munich, Germany, 5-6 March 2015) [Contributo in Atti di convegno]
Dalla Preda, Mila; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo; Gabbrielli, Maurizio, AIOCJ, 2014. [software]
Dalla Preda, Mila; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo; Gabbrielli, Maurizio, AIOCJ: A choreographic framework for safe adaptive distributed applications, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2014, 8706, pp. 161 - 170 (atti di: International Conference on Software Language Engineering, Vasteras, Sweden, 15-16/9/2014) [Contributo in Atti di convegno]
Elena Giachino; Ivan Lanese; Claudio Antares Mezzina, CaReDeb, 2014. [software]
