Towards Formalization and Verification of Unified Business Process Model Based on Pi Calculus. - Shuailiang Ma; Li Zhang; Jimei He (SERA, 2008)