[IEEE 2011 IEEE 9th European Conference on Web Services (ECOWS) - Lugano, Switzerland (2011.09.14-2011.09.16)] 2011 IEEE Ninth European Conference on Web Services - Formal Verification of Web Services Composition Using Linear Logic and the pi-calculus
Papapanagiotou, Petros, Fleuriot, JacquesYear:
2011
Language:
english
DOI:
10.1109/ECOWS.2011.18
File:
PDF, 273 KB
english, 2011