4 search results - page 1 / 1 » CSP Representation of Game Semantics for Second-Order Ideali... |
ICFEM
2004
Springer
13 years 11 months ago
2004
Springer
FOSSACS
2005
Springer
13 years 11 months ago
2005
Springer
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
LICS
2008
IEEE
14 years 5 hour ago
2008
IEEE
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...
CAV
2009
Springer
14 years 6 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...