
Claudio 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
- 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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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.
Tweets on dblp homepage
Show tweets from on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2020-12-30 23:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint