A Behavioural Congruence for Web Services

  title={A Behavioural Congruence for Web Services},
  author={Filippo Bonchi and Antonio Brogi and Sara Corfini and Fabio Gadducci},
Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. We define a new behavioural equivalence for Web services, based on bisimilarity and inspired by recent advances in the theory of reactive systems. The proposed equivalence is compositional and decidable, and it provides a firm ground for enhanced behaviour-aware discovery and for a sound incremental development of services and service compositions. 
Highly Cited
This paper has 40 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 23 extracted citations


Publications referenced by this paper.

Similar Papers

Loading similar papers…