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
Lanese I.; Palacios A.; Vidal G., Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs, «FUNDAMENTA INFORMATICAE», 2021, 178, pp. 229 - 266 [articolo]Open Access
Barbanera F.; Dezani-Ciancaglini M.; Lanese I.; Tuosto E., Composition and decomposition of multiparty sessions, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2021, 119, Article number: 100620, pp. 1 - 34 [articolo]Open Access
Orlando S.; Pasquale V.D.; Barbanera F.; Lanese I.; Tuosto E., Corinne, a Tool for Choreography Automata, in: Formal Aspects of Component Software. FACS 2021, Cham, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2021, 13077, pp. 82 - 92 (atti di: 17th International Conference on Formal Aspects of Component Software, FACS 2021, Grenoble, France (online due to covid), 2021) [Contributo in Atti di convegno]Open Access
Lanese I.; Phillips I., Forward-Reverse Observational Equivalences in CCSK, in: Reversible Computation, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2021, 12805, pp. 126 - 143 (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
Lanese I.; Schultz U.; Ulidowski I., Reversible Execution for Robustness in Embodied AI and Industrial Robots, «IT PROFESSIONAL», 2021, 23, Article number: 9464113, pp. 12 - 17 [articolo]Open Access
Bresolin D.; Lanese I., Static and dynamic property-preserving updates, «INFORMATION AND COMPUTATION», 2021, 279, Article number: 104611, pp. 1 - 24 [articolo]Open Access
Lanese I.; Medic D.; Mezzina C.A., Static versus dynamic reversibility in CCS, «ACTA INFORMATICA», 2021, 58, pp. 1 - 34 [articolo]Open Access
