Martin Wirsing Rocco De Nicola Stephen Gilmore Matthias M. Hölzl Roberto Lucchi Mirco Tribastone Gianluigi Zavattaro SensoriaProcess Calculi for Service-Oriented Computing. 30-50 2006 conf/tgc/2006 TGC http://dx.doi.org/10.1007/978-3-540-75336-0_3 db/conf/tgc/tgc2006.html#WirsingNGHLTZ06