Bocchi L.; Lanese I.; Mezzina C.A.; Yuen S., revTPL: THE REVERSIBLE TEMPORAL PROCESS LANGUAGE, «LOGICAL METHODS IN COMPUTER SCIENCE», 2024, 20, pp. 11 - 35 [articolo]
Barbanera F.; Lanese I.; Tuosto E., A THEORY OF FORMAL CHOREOGRAPHIC LANGUAGES, «LOGICAL METHODS IN COMPUTER SCIENCE», 2023, 19, pp. 1 - 36 [articolo]Open Access
Bernardo M.; Lanese I.; Marin A.; Mezzina C.A.; Rossi S.; Sacerdoti Coen C., Causal Reversibility Implies Time Reversibility, in: Quantitative Evaluation of Systems, Cham, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2023, 14287, pp. 270 - 287 (atti di: 20th International Conference on Quantitative Evaluation of SysTems, QEST 2023, Antwerp, Belgium, 20-22/9/92023) [Contributo in Atti di convegno]
Barbanera F.; Lanese I.; Tuosto E., Composition of synchronous communicating systems, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2023, 135, Article number: 100890, pp. 1 - 33 [articolo]
Glück R.; Lanese I.; Mezzina C.A.; Miszczak J.A.; Phillips I.; Ulidowski I.; Vidal G., Towards a Taxonomy for Reversible Computation Approaches, in: Reversible Computation, «LECTURE NOTES IN COMPUTER SCIENCE», 2023, 13960 LNCS, pp. 24 - 39 (atti di: Reversible Computation, Giessen, Germany, 18-19/7/2023) [Contributo in Atti di convegno]
Bucchiarone A.; Guidi C.; Lanese I.; Bencomo N.; Spillner J., A MAPE-K Approach to Autonomic Microservices, in: 2022 IEEE 19th International Conference on Software Architecture Companion, ICSA-C 2022, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA, Institute of Electrical and Electronics Engineers Inc., 2022, pp. 100 - 103 (atti di: 19th IEEE International Conference on Software Architecture Companion, ICSA-C 2022, usa, 2022) [Contributo in Atti di convegno]Open Access
Gheri L.; Lanese I.; Sayers N.; Tuosto E.; Yoshida N., Design-By-Contract for Flexible Multiparty Session Protocols, in: 36th European Conference on Object-Oriented Programming (ECOOP 2022), Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2022, 222, pp. 1 - 28 (atti di: 36th European Conference on Object-Oriented Programming, ECOOP 2022, Berlin, Germany, 6 - 10 June 2022) [Contributo in Atti di convegno]Open Access
Barbanera F.; Lanese I.; Tuosto E., Formal Choreographic Languages, in: COORDINATION 2022: Coordination Models and Languages, Cham, Springer, «IFIP ADVANCES IN INFORMATION AND COMMUNICATION TECHNOLOGY», 2022, 13271, pp. 121 - 139 (atti di: COORDINATION, Lucca, 14-16/6/2022) [Contributo in Atti di convegno]Open Access
Fabbretti G.; Lanese I.; Stefani J.-B., Generation of a Reversible Semantics for Erlang in Maude, in: Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Cham, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2022, 13478, pp. 106 - 122 (atti di: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, esp, 2022) [Contributo in Atti di convegno]Open Access
Barbanera F.; Lanese I.; Tuosto E., On Composing Communicating Systems, in: Proceedings 15th Interaction and Concurrency Experience, Open Publishing Association, 2022, 365, pp. 53 - 68 (atti di: 15th Interaction and Concurrency Experience, ICE 2022, Lucca, 17th June 2022) [Contributo in Atti di convegno]Open Access
Alex Coto,
Franco Barbanera,
Ivan Lanese,
Davide Rossi,
Emilio Tuosto, On Formal Choreographic Modelling: A Case Study in EU Business Processes, in: Leveraging Applications of Formal Methods, Verification and Validation.Verification Principles - 11th International Symposium, ISoLA 2022,Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}, Cham, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2022, 13701, pp. 205 - 219 (atti di: ISOLA 2022, Greece, 22-30 October 2022) [Contributo in Atti di convegno]Open Access
Lami P.; Lanese I.; Stefani J.-B.; Sacerdoti Coen C.; Fabbretti G., Reversibility in Erlang: Imperative Constructs, in: Reversible Computation 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings, «LECTURE NOTES IN COMPUTER SCIENCE», 2022, 13354 LNCS, pp. 187 - 203 (atti di: Reversible Computation, Urbino, 5-6/07/2022) [Contributo in Atti di convegno]
Lanese I.; Schultz U.P.; Ulidowski I., Reversible Computing in Debugging of Erlang Programs, «IT PROFESSIONAL», 2022, 24, pp. 74 - 80 [articolo]Open Access
Bocchi L.; Lanese I.; Mezzina C.A.; Yuen S., The Reversible Temporal Process Language, in: Formal Techniques for Distributed Objects, Components, and Systems - 42nd {IFIP} {WG} 6.1 International Conference, FORTE 2022, GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2022, 13273, pp. 31 - 49 (atti di: 42nd IFIP WG6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022 Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, ita, 2022) [Contributo in Atti di convegno]Open Access
Fabbretti G.; Lanese I.; Stefani J.-B., Causal-Consistent Debugging of Distributed Erlang Programs, in: Reversible Computation, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2021, 12805, pp. 79 - 95 (atti di: 13th International Conference on Reversible Computation, RC 2021, Nagoya, Japan (online due to covid), July 7 - July 8, 2021) [Contributo in Atti di convegno]Open Access
