Frank Puhlmann Soundness Verification of Business Processes Specified in the Pi-Calculus. 6-23 2007 conf/otm/2007-1 OTM Conferences (1) http://dx.doi.org/10.1007/978-3-540-76848-7_3 db/conf/otm/otm2007-1.html#Puhlmann07