Sciweavers

11168 search results - page 50 / 2234
» Abstract State Processes
Sort
View
ICWS
2004
IEEE
15 years 3 months ago
Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes
Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis,...