António Fidalgo
A Formal Approach to Modelling Time Properties of Service-Oriented Systems?
Testing Implementations of Algebraic Specifications with Design-by-Contract Tools
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling
A Coordination Model for Service-Oriented Interactions