A Composition-Oriented Approach for Business Process Formal Design.

Jing Zhang, Haiyang Wang

Browse the full CSCWD paper archive.