Lanese, Ivan; Mezzina, Claudio Antares; Stefani, Jean Bernard, Reversibility in the higher-order π-calculus, «THEORETICAL COMPUTER SCIENCE», 2016, 625, pp. 25 - 84 [Scientific article]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) [Contribution to conference proceedings]
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 [Scientific article]
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, 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) [Contribution to conference proceedings]
Lanese, Ivan; Montesi, Fabrizio; Zavattaro, Gianluigi, The evolution of Jolie: From orchestrations to adaptable choreographies, in: Software, Services, and Systems, Springer International Publishing, 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) [Contribution to conference proceedings]
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, 2014, 8706, pp. 161 - 170 (atti di: International Conference on Software Language Engineering, Vasteras, Sweden, 15-16/9/2014) [Contribution to conference proceedings]
Giachino, Elena; Lanese, Ivan; Claudio Antares, Mezzina, CaReDeb, 2014. [Software]
Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco, Causal-Consistent Reversibility, «BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE», 2014, 114, pp. 121 - 139 [Scientific article]
Giachino, Elena; Lanese, Ivan; Claudio Antares, Mezzina, Causal-Consistent Reversible Debugging, in: Fundamental Approaches to Software Engineering, Berlin, Springer Berlin Heidelberg, 2014, 8411, pp. 370 - 384 (atti di: Fundamental Approaches to Software Engineering (FASE 2014), Grenoble, France, 5-13/4/2014) [Contribution to conference proceedings]
Luís Cruz, Filipe; Lanese, Ivan; Francisco, Martins; António, Ravara; Vasco Thudichum, Vasconcelos, The stream-based service-centred calculus: a foundation for service-oriented programming, «FORMAL ASPECTS OF COMPUTING», 2014, 26, pp. 865 - 918 [Scientific article]
Mario Bravetti;Marco Carbone;Thomas Hildebrandt;Ivan Lanese;Jacopo Mauro;Jorge A. Pérez;Gianluigi Zavattaro, Towards Global and Local Types for Adaptation, in: SEFM 2013 Collocated Workshops (part on the 2nd International Workshop on Behavioural Types), Berlin, Springer, 2014, 8368, pp. 3 - 14 (atti di: 2nd International Workshop on Behavioural Types (BEAT 2), Madrid, Spain, September 23-24, 2013) [Contribution to conference proceedings]
Ivan Lanese;Michael Lienhardt;Claudio Antares Mezzina;Alan Schmitt;Jean-Bernard Stefani, Concurrent Flexible Reversibility, in: Programming Languages and Systems - Proceedings of 22nd European Symposium on Programming, ESOP 2013, Berlin Heidelberg, Springer, 2013, 7792, pp. 370 - 390 (atti di: 22nd European Symposium on Programming, Roma, 16-24/3/2013) [Contribution to conference proceedings]
Ivan Lanese;Claudio Antares Mezzina;Jean-Bernard Stefani, Controlled Reversibility and Compensations, in: Reversible Computation, Berlin, Springer, 2013, 7581, pp. 233 - 240 (atti di: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012) [Contribution to conference proceedings]
Ivan Lanese; Gianluigi Zavattaro, Decidability Results for Dynamic Installation of Compensation Handlers, in: Proc. of 15th International Conference, COORDINATION 2013 Models and Languages, 2013, Berlin, Springer, 2013, 7890, pp. 136 - 150 (atti di: 15th International Conference, COORDINATION 2013, Firenze, 3-5/6/2013) [Contribution to conference proceedings]
