Reversible Computation More Books by Claudio Antares Mezzina & Krzysztof Podlaski

Components Operationally: Reversibility and System Engineering

2025

Formal Techniques for Distributed Objects, Components, and Systems

2025