A process-algebraic approach to workflow specification and refinement (2007)

by P Y H WONG, J GIBBONS
Venue:Software Composition, volume 4829 of LNCS, 51–65