Sciweavers

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