//-->
Formalizing service interactions
Decker, Gero, (2006)
Using the π-calculus for formalizing workflow patterns
Puhlmann, Frank, (2005)
Business process management : concepts, languages, architectures
Weske, Mathias, (2012)