Components Operationally: Reversibility and System Engineering Components Operationally: Reversibility and System Engineering
2025
Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
2025
Reversible Computation Reversible Computation
2022