Skip to main content

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