Lanese I.; Palacios A.; Vidal G., Causal-Consistent Replay Debugging for Message Passing Programs, in: Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2019, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2019, 11535, pp. 167 - 184 (atti di: 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019 held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, 2019) [Contributo in Atti di convegno]Open Access
Gabbrielli M.; Giallorenzo S.; Lanese I.; Mauro J., Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies, in: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, Cham, Springer, 2019, pp. 118 - 138 (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE) [capitolo di libro]Open Access
Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Zingaro, Stefano Pio, Linguistic Abstractions for Interoperability of IoT Platforms, in: Towards Integrated Web, Mobile, and IoT Technology, Cham, Majchrzak, Tim A. and Mateos, Cristian and Poggi, Francesco and Gr{o}nli, Tor-Morten, 2019, pp. 83 - 114 (LECTURE NOTES IN BUSINESS INFORMATION PROCESSING) [capitolo di libro]
Gabbrielli M.; Giallorenzo S.; Lanese I.; Montesi F.; Peressotti M.; Zingaro S.P., No more, no less: A formal model for serverless computing, 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», 2019, 11533, pp. 148 - 157 (atti di: 21st IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2019 held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, dnk, 2019) [Contributo in Atti di convegno]
Lanese I.; Sangiorgi D.; Zavattaro G., Playing with bisimulation in erlang, in: Models, Languages, and Tools for Concurrent and Distributed Programming., Cham, Springer Verlag, 2019, pp. 71 - 91 (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE) [capitolo di libro]Open Access
Mikulski L.; Lanese I., Reversing Unbounded Petri Nets, in: 40th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2019, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2019, 11522, pp. 213 - 233 (atti di: 40th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2019, Aachen, Germany, 2019) [Contributo in Atti di convegno]Open Access
Gabbrielli, Maurizio;
Giallorenzo, Saverio;
Lanese, Ivan;
Zingaro, Stefano Pio;, A Language-based Approach for Interoperability of IoT Platforms, in: Proceedings of the 51st Hawaii International Conference on System Sciences, 2018, pp. 5697 - 5706 (atti di: 51st Hawaii International Conference on System Sciences, Hawaii, January 2018) [Contributo in Atti di convegno]
Barbanera, Franco; Lanese, Ivan*; de'Liguoro, Ugo, A theory of retractable and speculative contracts, «SCIENCE OF COMPUTER PROGRAMMING», 2018, 167, pp. 25 - 50 [articolo]
Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán, A theory of reversibility for Erlang, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2018, 100, pp. 71 - 97 [articolo]Open Access
Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán*, Cauder: A causal-consistent reversible debugger for erlang, in: Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2018, 10818, pp. 247 - 263 (atti di: 14th International Symposium on Functional and Logic Programming, FLOPS 2018, Nagoya, Japan, 2018) [Contributo in Atti di convegno]
Giallorenzo, Saverio*; Lanese, Ivan; Russo, Daniel, ChIP: A choreographic integration process, in: On the Move to Meaningful Internet Systems. OTM 2018 Conferences - Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2018, 11230, pp. 22 - 40 (atti di: Confederated International Conferences: Cooperative Information Systems, CoopIS 2018, Ontologies, Databases, and Applications of Semantics, ODBASE 2018, and Cloud and Trusted Computing, C and TC, held as part of OTM 2018, Valletta, Malta, 2018) [Contributo in Atti di convegno]
Lanese, Ivan*, From reversible semantics to reversible debugging, in: Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2018, 11106, pp. 34 - 46 (atti di: 10th International Conference on Reversible Computation, RC 2018, Leicester, UK, 2018) [Contributo in Atti di convegno]
Nicola, Dragoni; Ivan, Lanese; Stephan Thordal Larsen, ; Manuel, Mazzara; Ruslan, Mustafin; Larisa, Safina, Microservices: How To Make Your Application Scale, in: Perspectives of System Informatics. 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2018, 10742, pp. 95 - 104 (atti di: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Mosca, Russia, 26–29/6/2017) [Contributo in Atti di convegno]
Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco, Causal-consistent rollback in a tuple-based language, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2017, 88, pp. 99 - 120 [articolo]
Mila, Dalla Preda; Maurizio, Gabbrielli; Saverio, Giallorenzo; Ivan, Lanese; Jacopo, Mauro, Dynamic Choreographies: Theory And Implementation, «LOGICAL METHODS IN COMPUTER SCIENCE», 2017, 13, pp. 1 - 57 [articolo]Open Access
