Components Operationally: Reversibility and System Engineering More Books by Claudio Antares Mezzina & Alan Schmitt

Formal Techniques for Distributed Objects, Components, and Systems

2025

Reversible Computation

2022