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

Chen Shu Wu Guo Qing Xiao Jing

Published in: FGCN (1) (2008)

Keyphrases

web services
process algebra

model checking
database systems

web applications
life cycle

web services composition