Scholar
Claudio Antares Mezzina
Google Scholar ID: 0SzKXGwAAAAJ
Università degli studi di Urbino
Theoretical Computer Science
Programming Languages
Process Calculi
Concurrency Theory
Reversible Computation
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,301
H-index
18
i10-index
33
Publications
20
Co-authors
19
list available
Publications
4 items
On Asynchrony and Reversibility in CCS
Electronic Proceedings in Theoretical Computer Science · 2026
Cited
0
Fine-grained Causal Reversibility for Asynchronous Channel-based Programming
2026
Cited
0
A Logical 3-valued Semantics for Nondeterministic Choice
2026
Cited
0
On the Encodability of Reversible Process Calculi
2026
Cited
0
Co-authors
13 total
Ivan Lanese
University of Bologna
Hernán Melgratti
Universidad de Buenos Aires
Irek Ulidowski
School of Computing and Mathematical Sciences, University of Leicester
Marco Bernardo
University of Urbino
Iain Phillips
Associate Professor, Department of Computing, Imperial College London
Jorge A. Pérez
Associate Professor, University of Groningen
Nobuko Yoshida
Department of Computer Science, University of Oxford
Adrian Francalanza
University of Malta
