Claudio Antares Mezzina

91 papers A* 1A 2B 5C 23Misc 2Journal 33Unranked 18

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Bounded Reversibility in HO$$\pi $$. Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday Ivan Lanese, Claudio Antares Mezzina, Martin Vassor
2026	J	`jnl`	Causal reversibility in nondeterministic process calculi extended with time or probabilities. Theor. Comput. Sci. Marco Bernardo, Claudio Antares Mezzina, Andrea Esposito
2026	—	`book`	Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday Components Operationally: Reversibility and System Engineering Claudio Antares Mezzina, Alan Schmitt
2026	—	`conf`	Encoding Reversible Petri Nets into CCSK. Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2026	B	`conf`	On Reversibility in Petri Nets. FoSSaCS Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2025	B	`conf`	Alternative Characterizations of Hereditary History-Preserving Bisimilarity via Backward Ready Multisets. FoSSaCS Marco Bernardo, Andrea Esposito, Claudio Antares Mezzina
2025	J	`jnl`	Checkpoint-based rollback recovery in session programming. Log. Methods Comput. Sci. Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida
2025	C	`ed.`	Formal Techniques for Distributed Objects, Components, and Systems - 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings FORTE Carla Ferreira, Claudio Antares Mezzina
2025	C	`conf`	Formalizing Errors in CCS with 3-Valued Logic. COORDINATION Alessandro Aldini, Claudio Antares Mezzina
2025	J	`jnl`	Hereditary History-Preserving Bisimilarity: Characterizations via Backward Ready Multisets. CoRR Marco Bernardo, Andrea Esposito, Claudio Antares Mezzina
2025	J	`jnl`	Preface. Inf. Comput. Valentina Castiglioni, Ornela Dardha, Claudio Antares Mezzina
2025	J	`jnl`	Relating Reversible Petri Nets and Reversible Event Structures, categorically. Log. Methods Comput. Sci. Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2024	J	`jnl`	A Reversible Perspective on Petri Nets and Event Structures. ACM Trans. Comput. Log. Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2024	J	`jnl`	A Truly Concurrent Semantics for Reversible CCS. Log. Methods Comput. Sci. Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2024	—	`conf`	Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings. EXPRESS/SOS Marco Bernardo, Andrea Esposito, Claudio Antares Mezzina
2024	C	`conf`	Model Checking Reversible Systems: Forwardly. RC Federico Dal Pio Luogo, Claudio Antares Mezzina, G. Michele Pinna
2024	C	`conf`	Reversibility in Process Calculi with Nondeterminism and Probabilities. ICTAC Marco Bernardo, Claudio Antares Mezzina
2024	J	`jnl`	revTPL: The Reversible Temporal Process Language. Log. Methods Comput. Sci. Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
2023	J	`jnl`	A Reversible Perspective on Petri Nets and Event Structures. CoRR Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2023	J	`jnl`	A Truly Concurrent Semantics for Reversible CCS. CoRR Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2023	J	`jnl`	Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach. Log. Methods Comput. Sci. Marco Bernardo, Claudio Antares Mezzina
2023	—	`conf`	Causal Reversibility Implies Time Reversibility. QEST Marco Bernardo, Ivan Lanese, Andrea Marin, Claudio Antares Mezzina, Sabina Rossi, Claudio Sacerdoti Coen
2023	—	`conf`	Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity. FORMATS Marco Bernardo, Claudio Antares Mezzina
2023	J	`jnl`	Checkpoint-based rollback recovery in session programming. CoRR Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida
2023	—	`ed.`	Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, EXPRESS/SOS 2023, and 20th Workshop on Structural Operational SemanticsAntwerp, Belgium, 18th September 2023. EXPRESS/SOS Claudio Antares Mezzina, Georgiana Caltais
2023	C	`conf`	Relating Reversible Petri Nets and Reversible Event Structures, Categorically. FORTE Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2023	J	`jnl`	Relating Reversible Petri Nets and Reversible Event Structures, categorically. CoRR Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2023	C	`conf`	Rollback Recovery in Session-Based Programming. COORDINATION Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida
2023	C	`conf`	Towards a Taxonomy for Reversible Computation Approaches. RC Robert Glück, Ivan Lanese, Claudio Antares Mezzina, Jaroslaw Adam Miszczak, Iain Phillips, Irek Ulidowski, Germán Vidal
2022	J	`jnl`	A Petri net view of covalent bonds. Theor. Comput. Sci. Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2022	J	`jnl`	Bridging Causal Consistent and Time Reversibility: A Stochastic Process Algebraic Approach. CoRR Marco Bernardo, Claudio Antares Mezzina
2022	—	`ed.`	Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, EXPRESS/SOS 2022, Warsaw, Poland, 12th September 2022. EXPRESS/SOS Valentina Castiglioni, Claudio Antares Mezzina
2022	C	`ed.`	Reversible Computation - 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings RC Claudio Antares Mezzina, Krzysztof Podlaski
2022	C	`conf`	The Reversible Temporal Process Language. FORTE Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
2022	J	`jnl`	revTPL: The Reversible Temporal Process Language. CoRR Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
2021	A*	`conf`	A distributed operational view of Reversible Prime Event Structures. LICS Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2021	J	`jnl`	Causal Consistency for Reversible Multiparty Protocols. Log. Methods Comput. Sci. Claudio Antares Mezzina, Jorge A. Pérez
2021	J	`jnl`	Static versus dynamic reversibility in CCS. Acta Informatica Ivan Lanese, Doriana Medic, Claudio Antares Mezzina
2021	C	`conf`	Towards a Truly Concurrent Semantics for Reversible CCS. RC Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2020	J	`jnl`	A parametric framework for reversible Inf. Comput. Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida
2020	—	`ch.`	Foundations of Reversible Computation. Selected Results of the COST Action IC1405 Bogdan Aman, Gabriel Ciobanu, Robert Glück, Robin Kaarsgaard, Jarkko Kari, Martin Kutrib, Ivan Lanese, Claudio Antares Mezzina, Lukasz Mikulski, Rajagopal Nagarajan, Iain Phillips, G. Michele Pinna, Luca Prigioniero, Irek Ulidowski, Germán Vidal
2020	C	`conf`	Reversible Occurrence Nets and Causal Reversible Prime Event Structures. RC Hernán C. Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna, Irek Ulidowski
2020	J	`jnl`	Reversing Place Transition Nets. Log. Methods Comput. Sci. Hernán C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski
2020	—	`ch.`	Software and Reversible Systems: A Survey of Recent Activities. Selected Results of the COST Action IC1405 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
2020	C	`conf`	Towards Bridging Time and Causal Reversibility. FORTE Marco Bernardo, Claudio Antares Mezzina
2020	—	`ch.`	Towards Choreographic-Based Monitoring. Selected Results of the COST Action IC1405 Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto
2020	C	`conf`	Towards a Formal Account for Software Transactional Memory. RC Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida
2019	J	`jnl`	Reversible Causal Nets and Reversible Event Structures. CoRR Hernán C. Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna, Irek Ulidowski
2019	C	`conf`	Reversing P/T Nets. COORDINATION Hernán C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski
2019	J	`jnl`	Reversing Place Transition Nets. CoRR Hernán C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski
2019	—	`conf`	Testing for Coordination Fidelity. Models, Languages, and Tools for Concurrent and Distributed Programming Yehia Abd Alrahman, Claudio Antares Mezzina, Hugo Torres Vieira
2018	—	`conf`	A Parametric Framework for Reversible Pi-Calculi. EXPRESS/SOS Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida
2018	J	`jnl`	A Parametric Framework for Reversible π-Calculi. CoRR Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida
2018	J	`jnl`	Discotec 2018 conference report. ACM SIGLOG News Claudio Antares Mezzina
2018	J	`jnl`	Evaluating the efficiency of Linda implementations. Concurr. Comput. Pract. Exp. Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina
2018	C	`conf`	Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies. PDP Vitaly Buravlev, Rocco De Nicola, Alberto Lluch-Lafuente, Claudio Antares Mezzina
2018	C	`conf`	On Reversibility and Broadcast. RC Claudio Antares Mezzina
2018	C	`conf`	Reversible Choreographies via Monitoring in Erlang. DAIS Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto
2017	Misc	`conf`	A safety and liveness theory for total reversibility. TASE Claudio Antares Mezzina, Vasileios Koutavas
2017	C	`conf`	Block Placement Strategies for Fault-Resilient Distributed Tuple Spaces: An Experimental Study - (Practical Experience Report). DAIS Roberta Barbi, Vitaly Buravlev, Claudio Antares Mezzina, Valerio Schiavoni
2017	J	`jnl`	Causal-consistent rollback in a tuple-based language. J. Log. Algebraic Methods Program. Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi
2017	J	`jnl`	Causally Consistent Reversible Choreographies. CoRR Claudio Antares Mezzina, Jorge A. Pérez
2017	C	`conf`	Causally consistent reversible choreographies: a monitors-as-memories approach. PPDP Claudio Antares Mezzina, Jorge A. Pérez
2017	J	`jnl`	Choreographies for Automatic Recovery. CoRR Claudio Antares Mezzina, Emilio Tuosto
2017	—	`conf`	Reliability and Fault-Tolerance by Choreographic Design. PrePost@iFM Ian Cassar, Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto
2017	J	`jnl`	Reversibility in session-based concurrency: A fresh look. J. Log. Algebraic Methods Program. Claudio Antares Mezzina, Jorge A. Pérez
2017	—	`conf`	Towards Parametric Causal Semantics in pi-calculus. ICTCS/CILC Doriana Medic, Claudio Antares Mezzina
2016	J	`jnl`	A Safety and Liveness Theory for Total Reversibility (Extended Abstract). CoRR Claudio Antares Mezzina, Vasileios Koutavas
2016	J	`jnl`	Reversibility in the higher-order π-calculus. Theor. Comput. Sci. Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
2016	—	`conf`	Reversible Semantics in Session-based Concurrency. ICTCS Claudio Antares Mezzina, Jorge Andrés Pérez
2016	—	`conf`	Reversible Sessions Using Monitors. PLACES Claudio Antares Mezzina, Jorge A. Pérez
2016	C	`conf`	Static VS Dynamic Reversibility in CCS. RC Doriana Medic, Claudio Antares Mezzina
2016	C	`conf`	Tuple Spaces Implementations and Their Efficiency. COORDINATION Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina
2016	J	`jnl`	Tuple spaces implementations and their efficiency. CoRR Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina
2015	C	`conf`	Causal-Consistent Reversibility in a Tuple-Based Language. PDP Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi
2015	—	`conf`	Global Protocol Implementations via Attribute-Based Communication. Programming Languages with Applications to Biology and Security Rocco De Nicola, Claudio Antares Mezzina, Hugo Torres Vieira
2014	—	`conf`	A Goal Model for Collective Adaptive Systems. SASO Workshops Antonio Bucchiarone, Claudio Antares Mezzina, Heorhi Raik
2014	J	`jnl`	Causal-Consistent Reversibility. Bull. EATCS Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi
2014	B	`conf`	Causal-Consistent Reversible Debugging. FASE Elena Giachino, Ivan Lanese, Claudio Antares Mezzina
2014	—	`conf`	Collective Adaptation in Process-Based Systems. SASO Antonio Bucchiarone, Claudio Antares Mezzina, Marco Pistore, Heorhi Raik, Giuseppe Valetto
2013	Misc	`conf`	A conceptual framework for collective adaptive systems. SAC Antonio Bucchiarone, Annapaola Marconi, Claudio Antares Mezzina, Marco Pistore
2013	—	`conf`	CAptLang: a language for context-aware and adaptable business processes. VaMoS Antonio Bucchiarone, Claudio Antares Mezzina, Marco Pistore
2013	A	`conf`	Concurrent Flexible Reversibility. ESOP Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani
2013	A	`conf`	On-the-Fly Adaptation of Dynamic Service-Based Systems: Incrementality, Reduction and Reuse. ICSOC Antonio Bucchiarone, Annapaola Marconi, Claudio Antares Mezzina, Marco Pistore, Heorhi Raik
2013	—	`conf`	Towards Modeling and Execution of Collective Adaptive Systems. ICSOC Workshops Vasilios Andrikopoulos, Antonio Bucchiarone, Santiago Gomez Saez, Dimka Karastoyanova, Claudio Antares Mezzina
2012	—	`conf`	A Reversible Abstract Machine and Its Space Overhead. FMOODS/FORTE Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
2012	C	`conf`	Controlled Reversibility and Compensations. RC Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
2012	—	`—`	Réversibilité dans le pi calcul d'ordre supérieur. (concurrency theory,process calculi,reversibility,reversible computing,expressiveness of reversibility). Claudio Antares Mezzina
2011	B	`conf`	Controlling Reversibility in Higher-Order Pi. CONCUR Ivan Lanese, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani
2010	B	`conf`	Reversing Higher-Order Pi. CONCUR Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
2009	—	`conf`	Typing Component-Based Communication Systems. FMOODS/FORTE Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani