Sciweavers

2776 search results - page 19 / 556
» System-Level Abstraction Semantics
Sort
View
DAGSTUHL
2008
15 years 1 months ago
08061 Abstracts Collection -- Types, Logics and Semantics for State
Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morr...
ICWS
2004
IEEE
15 years 1 months ago
Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes
Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis,...