Sciweavers

2661 search results - page 10 / 533
» A Semantics for Abstraction
Sort
View
DAGSTUHL
2008
14 years 11 months ago
08061 Abstracts Collection -- Types, Logics and Semantics for State
Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morr...
ICWS
2004
IEEE
14 years 11 months ago
Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes
Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis,...