Login / Signup

A Process Algebra Approach for the Compatibility Analysis of Web Services.

Chen ShuWu Guo QingXiao Jing
Published in: FGCN (1) (2008)
Keyphrases
  • web services
  • process algebra
  • model checking
  • database systems
  • web applications
  • life cycle
  • web services composition