Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco, Causal-Consistent Reversibility, «BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE», 2014, 114, pp. 121 - 139 [articolo]
Elena Giachino;Ivan Lanese;Claudio Antares Mezzina, Causal-Consistent Reversible Debugging, in: Fundamental Approaches to Software Engineering, Berlin, Springer Berlin Heidelberg, «LECTURE NOTES IN COMPUTER SCIENCE», 2014, 8411, pp. 370 - 384 (atti di: Fundamental Approaches to Software Engineering (FASE 2014), Grenoble, France, 5-13/4/2014) [Contributo in Atti di convegno]
Luís Cruz-Filipe;Ivan Lanese;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 [articolo]
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, «LECTURE NOTES IN COMPUTER SCIENCE», 2014, 8368, pp. 3 - 14 (atti di: 2nd International Workshop on Behavioural Types (BEAT 2), Madrid, Spain, September 23-24, 2013) [Contributo in Atti di convegno]
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, «LECTURE NOTES IN COMPUTER SCIENCE», 2013, 7792, pp. 370 - 390 (atti di: 22nd European Symposium on Programming, Roma, 16-24/3/2013) [Contributo in Atti di convegno]
Ivan Lanese;Claudio Antares Mezzina;Jean-Bernard Stefani, Controlled Reversibility and Compensations, in: Reversible Computation, Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2013, 7581, pp. 233 - 240 (atti di: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012) [Contributo in Atti di convegno]
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, «LECTURE NOTES IN COMPUTER SCIENCE», 2013, 7890, pp. 136 - 150 (atti di: 15th International Conference, COORDINATION 2013, Firenze, 3-5/6/2013) [Contributo in Atti di convegno]
Ivan Lanese;Luca Bedogni;Marco Di Felice, Internet of Things: a process calculus approach, in: Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13, New York, ACM, 2013, pp. 1339 - 1346 (atti di: 28th Annual ACM Symposium on Applied Computing, Coimbra, Portugal, 18-22/3/2013) [Contributo in Atti di convegno]
M. Lienhardt; I. Lanese; M. Bravetti; D. Sangiorgi; G. Zavattaro; Y. Welsch; J. Schäfer; A. Poetzsch-Heffter, A Component Model for the ABS Language, in: Proceedings of Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, LNCS 6957, pp. 165 - 183 (atti di: Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010) [Contributo in Atti di convegno]
R. Bruni; A. Kersten; I. Lanese; G. Spagnolo, A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions, in: Proceedings of WADT 2010, 20th International Workshop on Recent Trends in Algebraic Development Techniques, Berlin, Springer, 2012, pp. 42 - 60 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]
M. Lienhardt; I. Lanese; C. A. Mezzina; J.-B. Stefani, A Reversible Abstract Machine and Its Space Overhead, in: Proc. of Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7273, pp. 1 - 17 (atti di: Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, 13-16 June 2012) [Contributo in Atti di convegno]
C. Ferreira; I. Lanese; A. Ravara; H. T. Vieira; G. Zavattaro, Advanced Mechanisms for Service Combination and Transactions, in: Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, BERLIN, Springer, 2011, pp. 302 - 325 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]
I. Lanese; A. Ravara; H. T. Vieira, Behavioral Theory for Session-Oriented Calculi, in: Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, BERLIN, Springer, 2011, pp. 189 - 213 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]
I. Lanese; C. A. Mezzina; A. Schmitt; J. Stefani, Controlling Reversibility in Higher-Order Pi, in: Proceedings of CONCUR 2011, 22nd International Conference on Concurrency Theory, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2011, 6901, pp. 297 - 311 (atti di: CONCUR 2011, 22nd International Conference on Concurrency Theory, Aachen, Germany, 5-10/9/2011) [Contributo in Atti di convegno]
Johnsen E. B.; Lanese I.; Zavattaro G., Fault in the Future, in: Proceedings of COORDINATION 2011, 13th International Conference on Coordination Models and Languages, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2011, 6721, pp. 1 - 15 (atti di: COORDINATION 2011, 13th International Conference on Coordination Models and Languages, Reykjavik, Iceland, 6-9/6/2011) [Contributo in Atti di convegno]
