A Pi-calculus-Based Business Process Formal Design Method.

Jing Zhang, Haiyang Wang

Browse the full CSCWD paper archive.