External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal Verification of Web Services Composition Using Linear Logic and the pi-calculus

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]

Authors

Petros Papapanagiotou

This author has not been identified. Look up 'Petros Papapanagiotou' in Google

Jacques D. Fleuriot

This author has not been identified. Look up 'Jacques D. Fleuriot' in Google
runs on