Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2006, volume: 151, number: 2

1. Alvaro E. Arenas, Jin Song Dong, Andrew Martin, Brian Matthews
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:151, n:2, pp:1- [Journal]
   
2. Claus Pahl, Yaoling Zhu
   A Semantical Framework for the Orchestration and Choreography of Web Services. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:151, n:2, pp:3-18 [Journal]
   
3. Francesco M. Donini, Marina Mongiello, Michele Ruta, Rodolfo Totaro
   A Model Checking-based Method for Verifying Web Application Design. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:151, n:2, pp:19-32 [Journal]
   
4. Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu
   Towards the Semantics and Verification of BPEL4WS. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:151, n:2, pp:33-52 [Journal]
   
5. Jing Mei, Harold Boley
   Interpreting SWRL Rules in RDF Graphs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:151, n:2, pp:53-69 [Journal]
   
6. Lee Momtahan, Andrew Martin, A. W. Roscoe
   A Taxonomy of Web Services Using CSP. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:151, n:2, pp:71-87 [Journal]
   
7. Shin Nakajima
   Model-Checking Behavioral Specification of BPEL Applications. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:151, n:2, pp:89-105 [Journal]
   
8. Yang Liu, Jun Sun
   Algorithmic Design Using Object-Z for Twig XML Queries Evaluation. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:151, n:2, pp:107-124 [Journal]