Specification and verification of harmonized business-process collaborations

Alex Norta, Rik Eshuis. Specification and verification of harmonized business-process collaborations. Information Systems Frontiers, 12(4):457-479, 2010. [doi]

Abstract

Abstract is missing.