J Abreu, JL Fiadeiro - Proceedings of the 10th international conference …, 2008 - dl.acm.org
We present a formal model for the coordination of interactions in service-oriented systems.
This model provides a declarative semantics for the language SRML that is being developed …