Sciweavers

2661 search results - page 10 / 533
» A Semantics for Abstraction
Sort
View
58
Voted
DAGSTUHL
2008
15 years 3 months ago
08061 Abstracts Collection -- Types, Logics and Semantics for State
Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morr...
78
Voted
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,...