Equating Simulation with Refinement

Equating Simulation with Refinement

Бібліографічні деталі
Автори:	He, J, Hoare, T, Fournet, C, Gardiner, P, Rajamani, S, Rehof, J, Roscoe, B
Формат:	Record
Опубліковано:	2003

Схожі ресурси

Bisimulation and refinement reconciled
за авторством: Roscoe, A, та інші
Опубліковано: (2003)

Stuck−Free Conformance
за авторством: Fournet, C, та інші
Опубліковано: (2004)

Data Refinement Refined: Resume
за авторством: He, J, та інші
Опубліковано: (1986)

Data Refinement Refined
за авторством: Hoare, C, та інші
Опубліковано: (1985)

Natural Transformations and Data Refinement
за авторством: Hoare, C, та інші
Опубліковано: (2015)

Prespecification in Data Refinement
за авторством: Hoare, C, та інші
Опубліковано: (1987)

On the expressive power of CSP refinement
за авторством: Roscoe, A
Опубліковано: (2003)

The automated verification of timewise refinement
за авторством: Roscoe, A
Опубліковано: (2013)

Normal Forms for Synchronous and Asynchronous Process Calculi
за авторством: Hoare, T, та інші
Опубліковано: (2000)

Data Refinement in a Categorical Setting
за авторством: Hoare, C
Опубліковано: (1987)

Data Refinement in a Categorical Setting
за авторством: Hoare, C
Опубліковано: (1987)

CSP and timewise refinement
за авторством: Roscoe, A, та інші
Опубліковано: (1991)

Finitary refinement checks for infinitary specifications
за авторством: Roscoe, A
Опубліковано: (2004)

On the Refinement and Simulation of Data Types and Processes
за авторством: Bolton, C, та інші
Опубліковано: (1999)

SAT solving in CSP trace refinement
за авторством: Palikareva, H, та інші
Опубліковано: (2012)

SAT−solving in CSP trace refinement
за авторством: Palikareva, H, та інші
Опубліковано: (2011)

SAT−Solving in CSP Trace Refinement
за авторством: Palikareva, H, та інші
Опубліковано: (2012)

SAT-solving in CSP trace refinement
за авторством: Palikareva, H, та інші
Опубліковано: (2012)

Quantum kinetic theory .2. Simulation of the quantum Boltzmann master equation
за авторством: Jaksch, D, та інші
Опубліковано: (1997)

Towards Symmetry Aware Refinement Checking (Extended Abstract)
за авторством: Moffat, N, та інші
Опубліковано: (2007)

A comparison of refinement orderings and their associated simulation rules
за авторством: Bolton, C, та інші
Опубліковано: (2002)

FDR3 — A Modern Refinement Checker for CSP
за авторством: Gibson−Robinson, T, та інші
Опубліковано: (2014)

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
за авторством: Moffat, N, та інші
Опубліковано: (2008)

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
за авторством: Moffat, N, та інші
Опубліковано: (2008)

A representative function approach to symmetry exploitation for CSP refinement checking
за авторством: Moffat, N, та інші
Опубліковано: (2008)

Data Refinement Refined
Опубліковано: (1985)

Adaptive local refinement and simplification for cloth simulation
за авторством: Volkov, Vasily
Опубліковано: (2008)

A representative function approach to symmetry exploitation for CSP refinement checking
за авторством: Moffat, N, та інші
Опубліковано: (2008)

Translating CSP trace refinement to UNITY unreachability : a study in data independence
за авторством: Roscoe, A, та інші
Опубліковано: (2015)

Asymptotic analysis of differential equations /
за авторством: 422323 White, Roscoe B.
Опубліковано: (2005)

Process modelling and simulation of crude palm oil refining
за авторством: Abdul Aziz, Mustafa Kamal, та інші
Опубліковано: (1989)

Refined numerical simulation of the mechanical behaviour of hollow sphere structures
за авторством: Sharmugham, Thinesh Kumar
Опубліковано: (2009)

Solid state electronics
за авторством: 441513 Fournet, G.
Опубліковано: (1968)

Petroleum chemistry and refining /
за авторством: Speight, J. G.
Опубліковано: (1998)

Refined Probabilistic Abstraction
за авторством: Wachter, B
Опубліковано: (2010)

Refinement in Object−Z and CSP
за авторством: Bolton, C, та інші
Опубліковано: (2002)

CryoEM structure refinement by integrating NMR chemical shifts with molecular dynamics simulations
за авторством: Perilla, J, та інші
Опубліковано: (2017)

Time domain measurements modeling and simulation of the indoor radio channel [mikrofilem] /
за авторством: 239303 Rajamani Ganesh
Опубліковано: (1991)

REFINEMENT OF THE CRH HAPLOTYPE IN RHEUMATOID ARTHRITIS
за авторством: Steer, S, та інші
Опубліковано: (2004)

World refining industry to 2015 : what does the future hold for the refining business /
за авторством: 408393 Manning, Thomas J.
Опубліковано: (1995)