Lanese I.; Palacios A.; Vidal G., Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs, «FUNDAMENTA INFORMATICAE», 2021, 178, pp. 229 - 266 [Scientific article]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 [Scientific article]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, 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) [Contribution to conference proceedings]Open Access
Lanese I.; Phillips I., Forward-Reverse Observational Equivalences in CCSK, in: Reversible Computation, Springer Science and Business Media Deutschland GmbH, 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) [Contribution to conference proceedings]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 [Scientific article]Open Access
Bresolin D.; Lanese I., Static and dynamic property-preserving updates, «INFORMATION AND COMPUTATION», 2021, 279, Article number: 104611 , pp. 1 - 24 [Scientific article]Open Access
Lanese I.; Medic D.; Mezzina C.A., Static versus dynamic reversibility in CCS, «ACTA INFORMATICA», 2021, 58, pp. 1 - 34 [Scientific article]Open Access
Hoey J.; Lanese I.; Nishida N.; Ulidowski I.; Vidal G., A case study for reversible computing: Reversible debugging of concurrent programs, in: Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405, Cham, Springer, 2020, pp. 108 - 127 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]Open Access
Lanese I.; Medic D., A general approach to derive uncontrolled reversible semantics, in: 31st International Conference on Concurrency Theory (CONCUR 2020), Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2020, 171, pp. 1 - 24 (atti di: 31st International Conference on Concurrency Theory, CONCUR 2020, Austria (online causa covid), 2020) [Contribution to conference proceedings]Open Access
Lanese I.; Phillips I.; Ulidowski I., An Axiomatic Approach to Reversible Computation, in: FoSSaCS 2020: Foundations of Software Science and Computation Structures, Springer, 2020, 12077, pp. 442 - 461 (atti di: 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Ireland (suppressed due to covid), 2020) [Contribution to conference proceedings]Open Access
Barbanera F.; Lanese I.; Tuosto E., Choreography automata, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2020, 12134, pp. 86 - 106 (atti di: 22nd IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Online due to covid-19, planned in La Valletta (Malta), 15-19/06/2020) [Contribution to conference proceedings]Open Access
Barbanera F.; Lanese I.; Tuosto E., Composing Communicating Systems, Synchronously, in: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles. ISoLA 2020., Cham, Springer, 2020, 12476, pp. 39 - 59 (atti di: 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020, Greece, 2020) [Contribution to conference proceedings]Open Access
Aman B.; Ciobanu G.; Gluck R.; Kaarsgaard R.; Kari J.; Kutrib M.; Lanese I.; Mezzina C.A.; Mikulski L.; Nagarajan R.; Phillips I.; Pinna G.M.; Prigioniero L.; Ulidowski I.; Vidal G., Foundations of reversible computation, in: Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405, Cham, Springer, 2020, pp. 1 - 40 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]Open Access
Mezzina C.A.; Schlatte R.; Gluck R.; Haulund T.; Hoey J.; Holm Cservenka M.; Lanese I.; Mogensen T.AE.; Siljak H.; Schultz U.P.; Ulidowski I., Software and reversible systems: A survey of recent activities, in: Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405, Cham, Springer, 2020, pp. 41 - 59 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]Open Access
Saverio Giallorenzo,
Ivan Lanese,
Fabrizio Montesi,
Davide Sangiorgi,
Stefano Pio Zingaro, The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service, in: Recent Developments in the Design and Implementation of Programming Languages, Dagstuhl, Schloss Dagstuhl--Leibniz-Zentrum f{"u}r Informatik, 2020, 86, pp. 1 - 21 (atti di: Recent Developments in the Design and Implementation of Programming Languages, Bologna, 27/11/2020) [Contribution to conference proceedings]Open Access
