Towards a formal framework for workflow interoperability
S. D. Induruwa Fernando and A. C. Simpson
Book Title
Proceedings of WS−FM (Web Services and Formal Methods) 2008
Pages
158–174
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
5387
Year
2008