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
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
