Frank Puhlmann Why Do We Actually Need the Pi-Calculus for Business Process Management? 77-89 2006 conf/bis/2006 BIS db/conf/bis/bis2006.html#Puhlmann06