Typing Component-Based Communication Systems. - Michael Lienhardt; Claudio Antares Mezzina; Alan Schmitt; Jean-Bernard Stefani (FMOODS/FORTE, 2009)

Reversing Higher-Order Pi. - Ivan Lanese; Claudio Antares Mezzina; Jean-Bernard Stefani (CONCUR, 2010)

Controlling Reversibility in Higher-Order Pi. - Ivan Lanese; Claudio Antares Mezzina; Alan Schmitt; Jean-Bernard Stefani (CONCUR, 2011)

A Reversible Abstract Machine and Its Space Overhead. - Michael Lienhardt; Ivan Lanese; Claudio Antares Mezzina; Jean-Bernard Stefani (FMOODS/FORTE, 2012)

Controlled Reversibility and Compensations. - Ivan Lanese; Claudio Antares Mezzina; Jean-Bernard Stefani (RC, 2012)

Réversibilité dans le pi calcul d'ordre supérieur. (concurrency theory,process calculi,reversibility,reversible computing,expressiveness of reversibility). - Claudio Antares Mezzina (2012)

Concurrent Flexible Reversibility. - Ivan Lanese; Michael Lienhardt; Claudio Antares Mezzina; Alan Schmitt; Jean-Bernard Stefani (ESOP, 2013)

Towards Modeling and Execution of Collective Adaptive Systems. - Vasilios Andrikopoulos; Antonio Bucchiarone; Santiago Gomez Saez; Dimka Karastoyanova; Claudio Antares Mezzina (ICSOC Workshops, 2013)

On-the-Fly Adaptation of Dynamic Service-Based Systems: Incrementality, Reduction and Reuse. - Antonio Bucchiarone; Annapaola Marconi; Claudio Antares Mezzina; Marco Pistore; Heorhi Raik (ICSOC, 2013)

A conceptual framework for collective adaptive systems. - Antonio Bucchiarone; Annapaola Marconi; Claudio Antares Mezzina; Marco Pistore (SAC, 2013)

CAptLang: a language for context-aware and adaptable business processes. - Antonio Bucchiarone; Claudio Antares Mezzina; Marco Pistore (VaMoS, 2013)

Causal-Consistent Reversible Debugging. - Elena Giachino; Ivan Lanese; Claudio Antares Mezzina (FASE, 2014)

Collective Adaptation in Process-Based Systems. - Antonio Bucchiarone; Claudio Antares Mezzina; Marco Pistore; Heorhi Raik; Giuseppe Valetto (SASO, 2014)

A Goal Model for Collective Adaptive Systems. - Antonio Bucchiarone; Claudio Antares Mezzina; Heorhi Raik (SASO Workshops, 2014)

Causal-Consistent Reversibility. - Ivan Lanese; Claudio Antares Mezzina; Francesco Tiezzi 001 (Bull. EATCS, 2014)

Global Protocol Implementations via Attribute-Based Communication. - Rocco De Nicola; Claudio Antares Mezzina; Hugo Torres Vieira (Programming Languages with Applications to Biology and Security, 2015)

Causal-Consistent Reversibility in a Tuple-Based Language. - Elena Giachino; Ivan Lanese; Claudio Antares Mezzina; Francesco Tiezzi 001 (PDP, 2015)

Tuple Spaces Implementations and Their Efficiency. - Vitaly Buravlev; Rocco De Nicola; Claudio Antares Mezzina (COORDINATION, 2016)

Reversible Semantics in Session-based Concurrency. - Claudio Antares Mezzina; Jorge Andrés Pérez (ICTCS, 2016)

Static VS Dynamic Reversibility in CCS. - Doriana Medic; Claudio Antares Mezzina (RC, 2016)

A Safety and Liveness Theory for Total Reversibility (Extended Abstract). - Claudio Antares Mezzina; Vasileios Koutavas (CoRR, 2016)

Reversible Sessions Using Monitors. - Claudio Antares Mezzina; Jorge A. Pérez 001 (PLACES, 2016)

Reversibility in the higher-order π-calculus. - Ivan Lanese; Claudio Antares Mezzina; Jean-Bernard Stefani (Theor. Comput. Sci., 2016)

Block Placement Strategies for Fault-Resilient Distributed Tuple Spaces: An Experimental Study - (Practical Experience Report). - Roberta Barbi; Vitaly Buravlev; Claudio Antares Mezzina; Valerio Schiavoni (DAIS, 2017)

Towards Parametric Causal Semantics in pi-calculus. - Doriana Medic; Claudio Antares Mezzina (ICTCS/CILC, 2017)

Causally consistent reversible choreographies: a monitors-as-memories approach. - Claudio Antares Mezzina; Jorge A. Pérez 001 (PPDP, 2017)

A safety and liveness theory for total reversibility. - Claudio Antares Mezzina; Vasileios Koutavas (TASE, 2017)

Causally Consistent Reversible Choreographies. - Claudio Antares Mezzina; Jorge A. Pérez 001 (CoRR, 2017)

Choreographies for Automatic Recovery. - Claudio Antares Mezzina; Emilio Tuosto (CoRR, 2017)

Reliability and Fault-Tolerance by Choreographic Design. - Ian Cassar; Adrian Francalanza; Claudio Antares Mezzina; Emilio Tuosto (PrePost@iFM, 2017)

Causal-consistent rollback in a tuple-based language. - Elena Giachino; Ivan Lanese; Claudio Antares Mezzina; Francesco Tiezzi 001 (J. Log. Algebraic Methods Program., 2017)

Reversibility in session-based concurrency: A fresh look. - Claudio Antares Mezzina; Jorge A. Pérez 001 (J. Log. Algebraic Methods Program., 2017)

Reversible Choreographies via Monitoring in Erlang. - Adrian Francalanza; Claudio Antares Mezzina; Emilio Tuosto (DAIS, 2018)

Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies. - Vitaly Buravlev; Rocco De Nicola; Alberto Lluch-Lafuente; Claudio Antares Mezzina (PDP, 2018)

On Reversibility and Broadcast. - Claudio Antares Mezzina (RC, 2018)

Evaluating the efficiency of Linda implementations. - Vitaly Buravlev; Rocco De Nicola; Claudio Antares Mezzina (Concurr. Comput. Pract. Exp., 2018)

A Parametric Framework for Reversible π-Calculi. - Doriana Medic; Claudio Antares Mezzina; Iain Phillips 001; Nobuko Yoshida (CoRR, 2018)

A Parametric Framework for Reversible Pi-Calculi. - Doriana Medic; Claudio Antares Mezzina; Iain Phillips 001; Nobuko Yoshida (EXPRESS/SOS, 2018)

Discotec 2018 conference report. - Claudio Antares Mezzina (ACM SIGLOG News, 2018)

Testing for Coordination Fidelity. - Yehia Abd Alrahman; Claudio Antares Mezzina; Hugo Torres Vieira (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

Reversing P/T Nets. - Hernán C. Melgratti; Claudio Antares Mezzina; Irek Ulidowski (COORDINATION, 2019)

Reversible Causal Nets and Reversible Event Structures. - Hernán C. Melgratti; Claudio Antares Mezzina; Iain C. C. Phillips; G. Michele Pinna; Irek Ulidowski (CoRR, 2019)

Towards Bridging Time and Causal Reversibility. - Marco Bernardo 001; Claudio Antares Mezzina (FORTE, 2020)

Towards a Formal Account for Software Transactional Memory. - Doriana Medic; Claudio Antares Mezzina; Iain Phillips 001; Nobuko Yoshida (RC, 2020)

Reversible Occurrence Nets and Causal Reversible Prime Event Structures. - Hernán C. Melgratti; Claudio Antares Mezzina; Iain Phillips 001; G. Michele Pinna; Irek Ulidowski (RC, 2020)

A parametric framework for reversible π-calculi. - Doriana Medic; Claudio Antares Mezzina; Iain Phillips 001; Nobuko Yoshida (Inf. Comput., 2020)

Reversing Place Transition Nets. - Hernán C. Melgratti; Claudio Antares Mezzina; Irek Ulidowski (Log. Methods Comput. Sci., 2020)

Foundations of Reversible Computation. - Bogdan Aman; Gabriel Ciobanu; Robert Glück; Robin Kaarsgaard; Jarkko Kari; Martin Kutrib; Ivan Lanese; Claudio Antares Mezzina; Lukasz Mikulski; Rajagopal Nagarajan; Iain C. C. Phillips; G. Michele Pinna; et al. (Selected Results of the COST Action IC1405, 2020)

Towards Choreographic-Based Monitoring. - Adrian Francalanza; Claudio Antares Mezzina; Emilio Tuosto (Selected Results of the COST Action IC1405, 2020)

Software and Reversible Systems: A Survey of Recent Activities. - Claudio Antares Mezzina; Rudolf Schlatte; Robert Glück; Tue Haulund; James Hoey; Martin Holm Cservenka; Ivan Lanese; Torben Æ. Mogensen; Harun Siljak; Ulrik Pagh Schultz; Irek Ulidowski (Selected Results of the COST Action IC1405, 2020)

A distributed operational view of Reversible Prime Event Structures. - Hernán C. Melgratti; Claudio Antares Mezzina; G. Michele Pinna (LICS, 2021)

Towards a Truly Concurrent Semantics for Reversible CCS. - Hernán C. Melgratti; Claudio Antares Mezzina; G. Michele Pinna (RC, 2021)

Static versus dynamic reversibility in CCS. - Ivan Lanese; Doriana Medic; Claudio Antares Mezzina (Acta Informatica, 2021)

Causal Consistency for Reversible Multiparty Protocols. - Claudio Antares Mezzina; Jorge A. Pérez 001 (Log. Methods Comput. Sci., 2021)

The Reversible Temporal Process Language. - Laura Bocchi; Ivan Lanese; Claudio Antares Mezzina; Shoji Yuen (FORTE, 2022)

Bridging Causal Consistent and Time Reversibility: A Stochastic Process Algebraic Approach. - Marco Bernardo 001; Claudio Antares Mezzina (CoRR, 2022)

A Petri net view of covalent bonds. - Hernán C. Melgratti; Claudio Antares Mezzina; G. Michele Pinna (Theor. Comput. Sci., 2022)

Rollback Recovery in Session-Based Programming. - Claudio Antares Mezzina; Francesco Tiezzi 001; Nobuko Yoshida (COORDINATION, 2023)

Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity. - Marco Bernardo 001; Claudio Antares Mezzina (FORMATS, 2023)

Causal Reversibility Implies Time Reversibility. - Marco Bernardo 001; Ivan Lanese; Andrea Marin; Claudio Antares Mezzina; Sabina Rossi; Claudio Sacerdoti Coen (QEST, 2023)

Towards a Taxonomy for Reversible Computation Approaches. - Robert Glück; Ivan Lanese; Claudio Antares Mezzina; Jaroslaw Adam Miszczak; Iain C. C. Phillips; Irek Ulidowski; Germán Vidal (RC, 2023)

Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach. - Marco Bernardo 001; Claudio Antares Mezzina (Log. Methods Comput. Sci., 2023)

Reversibility in Process Calculi with Nondeterminism and Probabilities. - Marco Bernardo 001; Claudio Antares Mezzina (ICTAC, 2024)

Model Checking Reversible Systems: Forwardly. - Federico Dal Pio Luogo; Claudio Antares Mezzina; G. Michele Pinna (RC, 2024)

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings. - Marco Bernardo 001; Andrea Esposito 006; Claudio Antares Mezzina (EXPRESS/SOS, 2024)

revTPL: The Reversible Temporal Process Language. - Laura Bocchi; Ivan Lanese; Claudio Antares Mezzina; Shoji Yuen (Log. Methods Comput. Sci., 2024)

A Truly Concurrent Semantics for Reversible CCS. - Hernán C. Melgratti; Claudio Antares Mezzina; G. Michele Pinna (Log. Methods Comput. Sci., 2024)

A Reversible Perspective on Petri Nets and Event Structures. - Hernán C. Melgratti; Claudio Antares Mezzina; G. Michele Pinna (ACM Trans. Comput. Log., 2024)

Formalizing Errors in CCS with 3-Valued Logic. - Alessandro Aldini; Claudio Antares Mezzina (COORDINATION, 2025)

Alternative Characterizations of Hereditary History-Preserving Bisimilarity via Backward Ready Multisets. - Marco Bernardo 001; Andrea Esposito 006; Claudio Antares Mezzina (FoSSaCS, 2025)

Preface. - Valentina Castiglioni; Ornela Dardha; Claudio Antares Mezzina (Inf. Comput., 2025)

Relating Reversible Petri Nets and Reversible Event Structures, categorically. - Hernán C. Melgratti; Claudio Antares Mezzina; G. Michele Pinna (Log. Methods Comput. Sci., 2025)

Checkpoint-based rollback recovery in session programming. - Claudio Antares Mezzina; Francesco Tiezzi 001; Nobuko Yoshida (Log. Methods Comput. Sci., 2025)