A Behavioural Congruence for Web Services

@inproceedings{Bonchi2007ABC,
  title={A Behavioural Congruence for Web Services},
  author={Filippo Bonchi and Antonio Brogi and Sara Corfini and Fabio Gadducci},
  booktitle={FSEN},
  year={2007}
}
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

Citations

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

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…