Peter Y. H. Wong, Jeremy Gibbons. Verifying Business Process Compatibility (Short Paper). In Hong Zhu, editor, Proceedings of the Eighth International Conference on Quality Software, QSIC 2008, 12-13 August 2008, Oxford, UK. pages 126-131, IEEE Computer Society, 2008. [doi]
Abstract is missing.