Claudio Antares Mezzina profile picture

Claudio Antares Mezzina

Is this your author profile? Create an account to claim and customize it!

Stand Alone

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
Reversible Computation 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings
Components Operationally: Reversibility and System Engineering Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday
Formal Techniques for Distributed Objects, Components, and Systems
Reversible Computation