Towards a Formal Framework for Workflow Interoperability (WEB SERVICES AND FORMAL METHODS, 2009)

(untitled) - Fernando, S; Simpson, A