Towards Formalization and Verification of Unified Business Process Model Based on Pi Calculus.

Shuailiang Ma, Li Zhang, Jimei He

Browse the full SERA paper archive.