12 citations · 39 across the 12 of their papers we have counts for
1 paper · 1 filter
W. O. D. Griffioen, F. W. Vaandrager
In existing simulation proof techniques, a single step in a lower-level specification may be simulated by an extended execution fragment in a higher-level one. As a result, it is c…