Claudio Antares Mezzina

Identifiers

No identifiers captured yet.

Papers (5)

1. A Parametric Framework for Reversible Pi-Calculi cs.FL · 2018 · author #2
2. A Parametric Framework for Reversible $\pi$-Calculi cs.LO · 2018 · author #2
3. Choreographies for Automatic Recovery cs.LO · 2017 · author #1
4. Tuple spaces implementations and their efficiency cs.DC · 2016 · author #3
5. A Safety and Liveness Theory for Total Reversibility (Extended Abstract) cs.LO · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Doriana Medic 2 shared papers
• Iain Phillips 2 shared papers
• Nobuko Yoshida 2 shared papers
• Emilio Tuosto 1 shared papers
• Rocco De Nicola 1 shared papers
• Vasileios Koutavas 1 shared papers
• Vitaly Buravlev 1 shared papers