Equating Simulation with Refinement

Equating Simulation with Refinement

Bibliographic Details
Main Authors:	He, J, Hoare, T, Fournet, C, Gardiner, P, Rajamani, S, Rehof, J, Roscoe, B
Format:	Record
Published:	2003

Similar Items

Bisimulation and refinement reconciled
by: Roscoe, A, et al.
Published: (2003)

Stuck−Free Conformance
by: Fournet, C, et al.
Published: (2004)

Data Refinement Refined: Resume
by: He, J, et al.
Published: (1986)

Data Refinement Refined
by: Hoare, C, et al.
Published: (1985)

Natural Transformations and Data Refinement
by: Hoare, C, et al.
Published: (2015)

Prespecification in Data Refinement
by: Hoare, C, et al.
Published: (1987)

On the expressive power of CSP refinement
by: Roscoe, A
Published: (2003)

The automated verification of timewise refinement
by: Roscoe, A
Published: (2013)

Data Refinement in a Categorical Setting
by: Hoare, C
Published: (1987)

Data Refinement in a Categorical Setting
by: Hoare, C
Published: (1987)

Finitary refinement checks for infinitary specifications
by: Roscoe, A
Published: (2004)

CSP and timewise refinement
by: Roscoe, A, et al.
Published: (1991)

SAT solving in CSP trace refinement
by: Palikareva, H, et al.
Published: (2012)

SAT−solving in CSP trace refinement
by: Palikareva, H, et al.
Published: (2011)

SAT-solving in CSP trace refinement
by: Palikareva, H, et al.
Published: (2012)

SAT−Solving in CSP Trace Refinement
by: Palikareva, H, et al.
Published: (2012)

Towards Symmetry Aware Refinement Checking (Extended Abstract)
by: Moffat, N, et al.
Published: (2007)

On the Refinement and Simulation of Data Types and Processes
by: Bolton, C, et al.
Published: (1999)

On Refined Neutrosophic Matrices and Their Application in Refined Neutrosophic Algebraic Equations
by: Mohammad Abobala
Published: (2021-01-01)

Normal Forms for Synchronous and Asynchronous Process Calculi
by: Hoare, T, et al.
Published: (2000)

Refinement equations for generalized translations
by: W. Christopher Lang
Published: (2004-01-01)

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
by: Moffat, N, et al.
Published: (2008)

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
by: Moffat, N, et al.
Published: (2008)

A representative function approach to symmetry exploitation for CSP refinement checking
by: Moffat, N, et al.
Published: (2008)

FDR3 — A Modern Refinement Checker for CSP
by: Gibson−Robinson, T, et al.
Published: (2014)

Quantum kinetic theory .2. Simulation of the quantum Boltzmann master equation
by: Jaksch, D, et al.
Published: (1997)

Blowup equations for refined topological strings
by: Min-xin Huang, et al.
Published: (2018-10-01)

Laws of Occam Programming
by: Roscoe, A, et al.
Published: (1986)

Programs as executable predicates
by: Roscoe, A, et al.
Published: (1984)

The Laws of Occam Programming
by: Roscoe, A, et al.
Published: (1988)

Programs as Executable Predicates
by: Hoare, C, et al.
Published: (1984)

The laws of occam programming
by: Roscoe, A, et al.
Published: (1988)

A comparison of refinement orderings and their associated simulation rules
by: Bolton, C, et al.
Published: (2002)

A representative function approach to symmetry exploitation for CSP refinement checking
by: Moffat, N, et al.
Published: (2008)

Simulation of EAF refining stage
by: M.M. Elkoumy, et al.
Published: (2018-12-01)

Translating CSP trace refinement to UNITY unreachability : a study in data independence
by: Roscoe, A, et al.
Published: (2015)

A theory of communicating sequential processes
by: Roscoe, A, et al.
Published: (1981)

A Theory of Communicating Sequential Processes
by: Brookes, S, et al.
Published: (1984)

A theory of communicating sequential processes
by: Roscoe, A, et al.
Published: (1984)

Straffeproces og den europæiske menneskerettighedskonvention
by: Lars Adam Rehof
Published: (1987-04-01)