default search action
WLFM@FM 2005: Newcastle upon Tyne, UK
- Alvaro Arenas, Jin Song Dong, Andrew Martin, Brian Matthews:
Proceedings of the International Workshop on Web Languages and Formal Methods, WLFM@FM 2005, Newcastle upon Tyne, UK, July 19, 2005. Electronic Notes in Theoretical Computer Science 151(2), Elsevier 2006 - Alvaro E. Arenas, Jin Song Dong, Andrew P. Martin, Brian Matthews:
Preface. 1 - Claus Pahl, Yaoling Zhu:
A Semantical Framework for the Orchestration and Choreography of Web Services. 3-18 - Francesco M. Donini, Marina Mongiello, Michele Ruta, Rodolfo Totaro:
A Model Checking-based Method for Verifying Web Application Design. 19-32 - Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu:
Towards the Semantics and Verification of BPEL4WS. 33-52 - Jing Mei, Harold Boley:
Interpreting SWRL Rules in RDF Graphs. 53-69 - Lee Momtahan, Andrew P. Martin, A. W. Roscoe:
A Taxonomy of Web Services Using CSP. 71-87 - Shin Nakajima:
Model-Checking Behavioral Specification of BPEL Applications. 89-105 - Yang Liu, Jun Sun:
Algorithmic Design Using Object-Z for Twig XML Queries Evaluation. 107-124
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.