default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDClaudio Antares Mezzina
Person information
- affiliation: IMT School for Advanced Studies Lucca, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j13]Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen:
revTPL: The Reversible Temporal Process Language. Log. Methods Comput. Sci. 20(1) (2024)- [c42]Federico Dal Pio Luogo, Claudio Antares Mezzina
, G. Michele Pinna:
Model Checking Reversible Systems: Forwardly. RC 2024: 218-237 - 2023
- [j12]Marco Bernardo, Claudio Antares Mezzina:
Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach. Log. Methods Comput. Sci. 19(2) (2023) - [c41]Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida:
Rollback Recovery in Session-Based Programming. COORDINATION 2023: 195-213 - [c40]Marco Bernardo, Claudio Antares Mezzina:
Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity. FORMATS 2023: 15-32 - [c39]Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna:
Relating Reversible Petri Nets and Reversible Event Structures, Categorically. FORTE 2023: 206-223 - [c38]Marco Bernardo, Ivan Lanese, Andrea Marin, Claudio Antares Mezzina, Sabina Rossi, Claudio Sacerdoti Coen:
Causal Reversibility Implies Time Reversibility. QEST 2023: 270-287 - [c37]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: 24-39 - [e3]Claudio Antares Mezzina, Georgiana Caltais:
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. EPTCS 387, 2023 [contents] - [i13]Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna:
Relating Reversible Petri Nets and Reversible Event Structures, categorically. CoRR abs/2302.14195 (2023) - [i12]Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna:
A Truly Concurrent Semantics for Reversible CCS. CoRR abs/2309.14011 (2023) - [i11]Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida:
Checkpoint-based rollback recovery in session programming. CoRR abs/2312.02851 (2023) - [i10]Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna:
A Reversible Perspective on Petri Nets and Event Structures. CoRR abs/2312.16714 (2023) - 2022
- [j11]Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna:
A Petri net view of covalent bonds. Theor. Comput. Sci. 908: 89-119 (2022) - [c36]Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen:
The Reversible Temporal Process Language. FORTE 2022: 31-49 - [e2]Claudio Antares Mezzina, Krzysztof Podlaski:
Reversible Computation - 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings. Lecture Notes in Computer Science 13354, Springer 2022, ISBN 978-3-031-09004-2 [contents] - [e1]Valentina Castiglioni, Claudio Antares Mezzina:
Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, EXPRESS/SOS 2022, Warsaw, Poland, 12th September 2022. EPTCS 368, 2022 [contents] - [i9]Marco Bernardo, Claudio Antares Mezzina:
Bridging Causal Consistent and Time Reversibility: A Stochastic Process Algebraic Approach. CoRR abs/2205.01420 (2022) - [i8]Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen:
revTPL: The Reversible Temporal Process Language. CoRR abs/2212.03687 (2022) - 2021
- [j10]Ivan Lanese, Doriana Medic, Claudio Antares Mezzina:
Static versus dynamic reversibility in CCS. Acta Informatica 58(1-2): 1-34 (2021) - [j9]Claudio Antares Mezzina, Jorge A. Pérez:
Causal Consistency for Reversible Multiparty Protocols. Log. Methods Comput. Sci. 17(4) (2021) - [c35]Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna:
A distributed operational view of Reversible Prime Event Structures. LICS 2021: 1-13 - [c34]Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna:
Towards a Truly Concurrent Semantics for Reversible CCS. RC 2021: 109-125 - 2020
- [j8]Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida:
A parametric framework for reversible π-calculi. Inf. Comput. 275: 104644 (2020) - [j7]Hernán C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski:
Reversing Place Transition Nets. Log. Methods Comput. Sci. 16(4) (2020) - [c33]Marco Bernardo, Claudio Antares Mezzina:
Towards Bridging Time and Causal Reversibility. FORTE 2020: 22-38 - [c32]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: 35-53 - [c31]Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida:
Towards a Formal Account for Software Transactional Memory. RC 2020: 255-263 - [p3]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, Luca Prigioniero, Irek Ulidowski, Germán Vidal:
Foundations of Reversible Computation. Selected Results of the COST Action IC1405 2020: 1-40 - [p2]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:
Software and Reversible Systems: A Survey of Recent Activities. Selected Results of the COST Action IC1405 2020: 41-59 - [p1]Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto:
Towards Choreographic-Based Monitoring. Selected Results of the COST Action IC1405 2020: 128-150
2010 – 2019
- 2019
- [c30]Yehia Abd Alrahman, Claudio Antares Mezzina, Hugo Torres Vieira:
Testing for Coordination Fidelity. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 152-169 - [c29]Hernán C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski:
Reversing P/T Nets. COORDINATION 2019: 19-36 - [i7]Hernán C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski:
Reversing Place Transition Nets. CoRR abs/1910.04266 (2019) - [i6]Hernán C. Melgratti, Claudio Antares Mezzina, Iain C. C. Phillips, G. Michele Pinna, Irek Ulidowski:
Reversible Causal Nets and Reversible Event Structures. CoRR abs/1910.10987 (2019) - 2018
- [j6]Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina:
Evaluating the efficiency of Linda implementations. Concurr. Comput. Pract. Exp. 30(8) (2018) - [j5]Claudio Antares Mezzina:
Discotec 2018 conference report. ACM SIGLOG News 5(3): 84-85 (2018) - [c28]Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto:
Reversible Choreographies via Monitoring in Erlang. DAIS 2018: 75-92 - [c27]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: 302-305 - [c26]Claudio Antares Mezzina:
On Reversibility and Broadcast. RC 2018: 67-83 - [c25]Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida:
A Parametric Framework for Reversible Pi-Calculi. EXPRESS/SOS 2018: 87-103 - [i5]Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida:
A Parametric Framework for Reversible π-Calculi. CoRR abs/1807.11800 (2018) - 2017
- [j4]Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi:
Causal-consistent rollback in a tuple-based language. J. Log. Algebraic Methods Program. 88: 99-120 (2017) - [j3]Claudio Antares Mezzina, Jorge A. Pérez:
Reversibility in session-based concurrency: A fresh look. J. Log. Algebraic Methods Program. 90: 2-30 (2017) - [c24]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: 67-82 - [c23]Doriana Medic, Claudio Antares Mezzina:
Towards Parametric Causal Semantics in pi-calculus. ICTCS/CILC 2017: 121-125 - [c22]Claudio Antares Mezzina, Jorge A. Pérez:
Causally consistent reversible choreographies: a monitors-as-memories approach. PPDP 2017: 127-138 - [c21]Claudio Antares Mezzina, Vasileios Koutavas:
A safety and liveness theory for total reversibility. TASE 2017: 1-8 - [c20]Ian Cassar, Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto:
Reliability and Fault-Tolerance by Choreographic Design. PrePost@iFM 2017: 69-80 - [i4]Claudio Antares Mezzina, Jorge A. Pérez:
Causally Consistent Reversible Choreographies. CoRR abs/1703.06021 (2017) - [i3]Claudio Antares Mezzina, Emilio Tuosto:
Choreographies for Automatic Recovery. CoRR abs/1705.09525 (2017) - 2016
- [j2]Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani:
Reversibility in the higher-order π-calculus. Theor. Comput. Sci. 625: 25-84 (2016) - [c19]Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina:
Tuple Spaces Implementations and Their Efficiency. COORDINATION 2016: 51-66 - [c18]Claudio Antares Mezzina, Jorge Andrés Pérez:
Reversible Semantics in Session-based Concurrency. ICTCS 2016: 221-226 - [c17]Doriana Medic, Claudio Antares Mezzina:
Static VS Dynamic Reversibility in CCS. RC 2016: 36-51 - [c16]Claudio Antares Mezzina, Jorge A. Pérez:
Reversible Sessions Using Monitors. PLACES 2016: 56-64 - [i2]Claudio Antares Mezzina, Vasileios Koutavas:
A Safety and Liveness Theory for Total Reversibility (Extended Abstract). CoRR abs/1604.05555 (2016) - [i1]Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina:
Tuple spaces implementations and their efficiency. CoRR abs/1612.02979 (2016) - 2015
- [c15]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: 219-237 - [c14]Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi:
Causal-Consistent Reversibility in a Tuple-Based Language. PDP 2015: 467-475 - 2014
- [j1]Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi:
Causal-Consistent Reversibility. Bull. EATCS 114 (2014) - [c13]Elena Giachino, Ivan Lanese, Claudio Antares Mezzina:
Causal-Consistent Reversible Debugging. FASE 2014: 370-384 - [c12]Antonio Bucchiarone, Claudio Antares Mezzina, Heorhi Raik:
A Goal Model for Collective Adaptive Systems. SASO Workshops 2014: 20-25 - [c11]Antonio Bucchiarone, Claudio Antares Mezzina, Marco Pistore, Heorhi Raik, Giuseppe Valetto:
Collective Adaptation in Process-Based Systems. SASO 2014: 151-156 - 2013
- [c10]Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani:
Concurrent Flexible Reversibility. ESOP 2013: 370-390 - [c9]Vasilios Andrikopoulos, Antonio Bucchiarone, Santiago Gomez Saez, Dimka Karastoyanova, Claudio Antares Mezzina:
Towards Modeling and Execution of Collective Adaptive Systems. ICSOC Workshops 2013: 69-81 - [c8]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: 146-161 - [c7]Antonio Bucchiarone, Annapaola Marconi, Claudio Antares Mezzina, Marco Pistore:
A conceptual framework for collective adaptive systems. SAC 2013: 1935-1936 - [c6]Antonio Bucchiarone, Claudio Antares Mezzina, Marco Pistore:
CAptLang: a language for context-aware and adaptable business processes. VaMoS 2013: 12:1-12:5 - 2012
- [b1]Claudio Antares Mezzina:
Réversibilité dans le pi calcul d'ordre supérieur. (concurrency theory,process calculi,reversibility,reversible computing,expressiveness of reversibility). Grenoble Alpes University, France, 2012 - [c5]Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani:
A Reversible Abstract Machine and Its Space Overhead. FMOODS/FORTE 2012: 1-17 - [c4]Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani:
Controlled Reversibility and Compensations. RC 2012: 233-240 - 2011
- [c3]Ivan Lanese, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani:
Controlling Reversibility in Higher-Order Pi. CONCUR 2011: 297-311 - 2010
- [c2]Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani:
Reversing Higher-Order Pi. CONCUR 2010: 478-493
2000 – 2009
- 2009
- [c1]Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani:
Typing Component-Based Communication Systems. FMOODS/FORTE 2009: 167-181
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-19 21:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
