Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro. SensoriaProcess Calculi for Service-Oriented Computing. In Ugo Montanari, Donald Sannella, Roberto Bruni, editors, Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers. Volume 4661 of Lecture Notes in Computer Science, pages 30-50, Springer, 2006. [doi]
Abstract is missing.