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]
@inproceedings{PapapanagiotouF11,
title = {Formal Verification of Web Services Composition Using Linear Logic and the pi-calculus},
author = {Petros Papapanagiotou and Jacques D. Fleuriot},
year = {2011},
doi = {10.1109/ECOWS.2011.18},
url = {http://doi.ieeecomputersociety.org/10.1109/ECOWS.2011.18},
researchr = {https://researchr.org/publication/PapapanagiotouF11},
cites = {0},
citedby = {0},
pages = {31-38},
booktitle = {9th IEEE European Conference on Web Services, ECOWS 2011, Lugano, Switzerland, September 14-16, 2011},
editor = {Gianluigi Zavattaro and Ulf Schreier and Cesare Pautasso},
publisher = {IEEE},
isbn = {978-1-4577-1532-7},
}