Coordination Models and Languages Coordination Models and Languages
2023
Software Architecture Software Architecture
2017
Formal Techniques for Distributed Systems Formal Techniques for Distributed Systems
2009