Formal Techniques for Distributed Objects, Components, and SystemsKirstin Peters, Tim A. C. Willemse · First published 2021Open the Tome
