Using Process Algebra for Web Services: Early Results and Perspectives

Lucas Bordeaux, Gwen Salaün. Using Process Algebra for Web Services: Early Results and Perspectives. In Ming-Chien Shan, Umeshwar Dayal, Meichun Hsu, editors, Technologies for E-Services, 5th International Workshop, TES 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers. Volume 3324 of Lecture Notes in Computer Science, pages 54-68, Springer, 2004. [doi]

Abstract

Abstract is missing.