Claudio Antares Mezzina

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 52

Top Venues

CoRR

Log. Methods Comput. Sci.

FORTE

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
revTPL: The Reversible Temporal Process Language. Log. Methods Comput. Sci. 20 (1) (2024)
Federico Dal Pio Luogo, Claudio Antares Mezzina, G. Michele Pinna
Model Checking Reversible Systems: Forwardly. RC (2024)
Marco Bernardo, Ivan Lanese, Andrea Marin, Claudio Antares Mezzina, Sabina Rossi, Claudio Sacerdoti Coen
Causal Reversibility Implies Time Reversibility. QEST (2023)
Robert Glück, Ivan Lanese, Claudio Antares Mezzina, Jaroslaw Adam Miszczak, Iain C. C. Phillips, Irek Ulidowski, Germán Vidal
Towards a Taxonomy for Reversible Computation Approaches. RC (2023)
Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida
Rollback Recovery in Session-Based Programming. COORDINATION (2023)
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
Relating Reversible Petri Nets and Reversible Event Structures, categorically. CoRR (2023)
Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida
Checkpoint-based rollback recovery in session programming. CoRR (2023)
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
Relating Reversible Petri Nets and Reversible Event Structures, Categorically. FORTE (2023)
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
A Reversible Perspective on Petri Nets and Event Structures. CoRR (2023)
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
A Truly Concurrent Semantics for Reversible CCS. CoRR (2023)
Marco Bernardo, Claudio Antares Mezzina
Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach. Log. Methods Comput. Sci. 19 (2) (2023)
Marco Bernardo, Claudio Antares Mezzina
Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity. FORMATS (2023)
Marco Bernardo, Claudio Antares Mezzina
Bridging Causal Consistent and Time Reversibility: A Stochastic Process Algebraic Approach. CoRR (2022)
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
A Petri net view of covalent bonds. Theor. Comput. Sci. 908 (2022)
Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
The Reversible Temporal Process Language. FORTE (2022)
Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
revTPL: The Reversible Temporal Process Language. CoRR (2022)
Claudio Antares Mezzina, Jorge A. Pérez
Causal Consistency for Reversible Multiparty Protocols. Log. Methods Comput. Sci. 17 (4) (2021)
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
A distributed operational view of Reversible Prime Event Structures. LICS (2021)
Ivan Lanese, Doriana Medic, Claudio Antares Mezzina
Static versus dynamic reversibility in CCS. Acta Informatica 58 (1-2) (2021)
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
Towards a Truly Concurrent Semantics for Reversible CCS. RC (2021)
Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida
-calculi. Inf. Comput. 275 (2020)
Hernán C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski
Reversing Place Transition Nets. Log. Methods Comput. Sci. 16 (4) (2020)
Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida
Towards a Formal Account for Software Transactional Memory. RC (2020)
Marco Bernardo, Claudio Antares Mezzina
Towards Bridging Time and Causal Reversibility. FORTE (2020)
Hernán C. Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna, Irek Ulidowski
Reversible Occurrence Nets and Causal Reversible Prime Event Structures. RC (2020)
Hernán C. Melgratti, Claudio Antares Mezzina, Iain C. C. Phillips, G. Michele Pinna, Irek Ulidowski
Reversible Causal Nets and Reversible Event Structures. CoRR (2019)
Hernán C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski
Reversing Place Transition Nets. CoRR (2019)
Yehia Abd Alrahman, Claudio Antares Mezzina, Hugo Torres Vieira
Testing for Coordination Fidelity. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Hernán C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski
Reversing P/T Nets. COORDINATION (2019)
Claudio Antares Mezzina
Discotec 2018 conference report. ACM SIGLOG News 5 (3) (2018)
Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida
A Parametric Framework for Reversible π-Calculi. CoRR (2018)
Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida
A Parametric Framework for Reversible Pi-Calculi. EXPRESS/SOS (2018)
Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto
Reversible Choreographies via Monitoring in Erlang. DAIS (2018)
Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina
Evaluating the efficiency of Linda implementations. Concurr. Comput. Pract. Exp. 30 (8) (2018)
Claudio Antares Mezzina
On Reversibility and Broadcast. RC (2018)
Vitaly Buravlev, Rocco De Nicola, Alberto Lluch-Lafuente, Claudio Antares Mezzina
Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies. PDP (2018)
Claudio Antares Mezzina, Jorge A. Pérez
Causally Consistent Reversible Choreographies. CoRR (2017)
Claudio Antares Mezzina, Jorge A. Pérez
Reversibility in session-based concurrency: A fresh look. J. Log. Algebraic Methods Program. 90 (2017)
Claudio Antares Mezzina, Jorge A. Pérez
Causally consistent reversible choreographies: a monitors-as-memories approach. PPDP (2017)
Doriana Medic, Claudio Antares Mezzina
Towards Parametric Causal Semantics in pi-calculus. ICTCS/CILC (2017)
Claudio Antares Mezzina, Emilio Tuosto
Choreographies for Automatic Recovery. CoRR (2017)
Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi
Causal-consistent rollback in a tuple-based language. J. Log. Algebraic Methods Program. 88 (2017)
Ian Cassar, Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto
Reliability and Fault-Tolerance by Choreographic Design. PrePost@iFM (2017)
Claudio Antares Mezzina, Vasileios Koutavas
A safety and liveness theory for total reversibility. TASE (2017)
Roberta Barbi, Vitaly Buravlev, Claudio Antares Mezzina, Valerio Schiavoni
Block Placement Strategies for Fault-Resilient Distributed Tuple Spaces: An Experimental Study - (Practical Experience Report). DAIS (2017)
Claudio Antares Mezzina, Vasileios Koutavas
A Safety and Liveness Theory for Total Reversibility (Extended Abstract). CoRR (2016)
Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina
Tuple Spaces Implementations and Their Efficiency. COORDINATION (2016)
Claudio Antares Mezzina, Jorge A. Pérez
Reversible Sessions Using Monitors. PLACES (2016)
Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
Reversibility in the higher-order π-calculus. Theor. Comput. Sci. 625 (2016)
Claudio Antares Mezzina, Jorge Andrés Pérez
Reversible Semantics in Session-based Concurrency. ICTCS (2016)
Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina
Tuple spaces implementations and their efficiency. CoRR (2016)
Doriana Medic, Claudio Antares Mezzina
Static VS Dynamic Reversibility in CCS. RC (2016)
Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi
Causal-Consistent Reversibility in a Tuple-Based Language. PDP (2015)
Rocco De Nicola, Claudio Antares Mezzina, Hugo Torres Vieira
Global Protocol Implementations via Attribute-Based Communication. Programming Languages with Applications to Biology and Security (2015)
Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi
Causal-Consistent Reversibility. Bull. EATCS 114 (2014)
Elena Giachino, Ivan Lanese, Claudio Antares Mezzina
Causal-Consistent Reversible Debugging. FASE (2014)
Antonio Bucchiarone, Claudio Antares Mezzina, Heorhi Raik
A Goal Model for Collective Adaptive Systems. SASO Workshops (2014)
Antonio Bucchiarone, Claudio Antares Mezzina, Marco Pistore, Heorhi Raik, Giuseppe Valetto
Collective Adaptation in Process-Based Systems. SASO (2014)
Antonio Bucchiarone, Annapaola Marconi, Claudio Antares Mezzina, Marco Pistore, Heorhi Raik
On-the-Fly Adaptation of Dynamic Service-Based Systems: Incrementality, Reduction and Reuse. ICSOC (2013)
Vasilios Andrikopoulos, Antonio Bucchiarone, Santiago Gomez Saez, Dimka Karastoyanova, Claudio Antares Mezzina
Towards Modeling and Execution of Collective Adaptive Systems. ICSOC Workshops (2013)
Antonio Bucchiarone, Annapaola Marconi, Claudio Antares Mezzina, Marco Pistore
A conceptual framework for collective adaptive systems. SAC (2013)
Antonio Bucchiarone, Claudio Antares Mezzina, Marco Pistore
CAptLang: a language for context-aware and adaptable business processes. VaMoS (2013)
Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani
Concurrent Flexible Reversibility. ESOP (2013)
Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
A Reversible Abstract Machine and Its Space Overhead. FMOODS/FORTE (2012)
Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
Controlled Reversibility and Compensations. RC (2012)
Ivan Lanese, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani
Controlling Reversibility in Higher-Order Pi. CONCUR (2011)
Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
Reversing Higher-Order Pi. CONCUR (2010)
Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani
Typing Component-Based Communication Systems. FMOODS/FORTE (2009)

Claudio Antares Mezzina.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Claudio Antares Mezzina