Petros Papapanagiotou, Jacques D. Fleuriot. Formal Verification of Web Services Composition Using Linear Logic and the pi-calculus. In Gianluigi Zavattaro, Ulf Schreier, Cesare Pautasso, editors, 9th IEEE European Conference on Web Services, ECOWS 2011, Lugano, Switzerland, September 14-16, 2011. pages 31-38, IEEE, 2011. [doi]
Abstract is missing.