Sarah D. Induruwa Fernando, Andrew C. Simpson. Towards a Formal Framework for Workflow Interoperability. In Roberto Bruni, Karsten Wolf, editors, Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers. Volume 5387 of Lecture Notes in Computer Science, pages 158-174, Springer, 2008. [doi]