Formalizing service interactions (2006)

by G Decker, F Puhlmann, M Weske
Venue:In BPM’06, volume 4102 of LNCS