Sciweavers

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