publication venue for Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes. 70:467-482. 2011
