Modelling and verifying web service orchestration by means of the concurrency workbench

Mariya Koshkina, Franck van Breugel. Modelling and verifying web service orchestration by means of the concurrency workbench. ACM SIGSOFT Software Engineering Notes, 29(5):1-10, 2004. [doi]

Abstract

Abstract is missing.