//-->
Investigations on soundness regarding lazy activities
Puhlmann, Frank, (2006)
Prozessmodellierung 2.0
Decker, Gero, (2009)
Using the π-calculus for formalizing workflow patterns
Puhlmann, Frank, (2005)