António Ravara

Books
Coordination Models and Languages Coordination Models and Languages
Coordination Models and Languages
2025
Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
2023
Behavioural Types Behavioural Types
Behavioural Types
2022
Web Services, Formal Methods, and Behavioral Types Web Services, Formal Methods, and Behavioral Types
Web Services, Formal Methods, and Behavioral Types
2016