Towards the Semantics and Verification of BPEL4WS.

Geguang Pu Xiangpeng Zhao Shuling Wang Zongyan Qiu

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

model checking
logic programming
databases
intelligent systems
temporal logic