State-level and value-level simulations
Download:
|
|
by William Leal
http://www.cis.ohio-state.edu/~anish/group/papers/PointVsState.ps.gz
Add To MetaCart
Abstract:
in data refinement
Citations
| 348 | A behavioral notion of subtyping – Liskov, Wing - 1994 |
| 122 | Forward and backward simulations part I: Untimed systems – Lynch, Vaandrager - 1995 |
| 80 | Data Refinement: Model-Oriented Proof Methods and their Comparison – Roever, Engelhardt - 1998 |
| 31 | C.C.Morgan: “a Single Complete Rule for Data Refinement – Gardiner - 1993 |
| 9 | The behavior-realization adjunction and generalized homomorphic relations – Leavens, Pigozzi - 1997 |
| 8 | Observing non-deterministic data types – Nipkow - 1987 |
| 8 | On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations – Sitaraman, Weide, et al. - 1997 |
| 7 | Soundness of data refinement for a higher order imperative language – Naumann - 2002 |
| 1 | State-level and value-level simulations in data type refinement – Leal, Arora - 2000 |
