Completeness of fair ASM refinement
type: Item
instance of: scholarly article
title: Completeness of fair ASM refinement
zbMATH Open document ID: 1217.68065
author: Gerhard Schellhorn
published in: Science of Computer Programming
publication date: 2011-06-06T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5904438
zbMATH Keywords: refinement
zbMATH Keywords: completeness
zbMATH Keywords: abstract state machines
zbMATH Keywords: IO automata
zbMATH Keywords: Abadi-Lamport
zbMATH Keywords: fairness
describes a project that uses: KIV
describes a project that uses: Z
MaRDI profile type: Publication
full work available at URL: j.scico.2009.10.004
OpenAlex ID: W2005957990
cites work: The existence of refinement mappings
cites work: Q5291078
cites work: Interactive verification of concurrent systems using symbolic execution
cites work: Q4494250
cites work: Q4268493
cites work: Q3976026
cites work: The ASM refinement method
cites work: Q4839029
cites work: Abstract State Machines
cites work: Q2724177
cites work: Q4144755
cites work: Data Refinement
cites work: Q4436964
cites work: Evolving Algebras 1993: Lipari Guide
cites work: A theory of normed simulations
cites work: Programs, Recursion and Unbounded Choice
cites work: Q4808690
cites work: Eternity variables to prove simulation of specifications
cites work: Splitting forward simulations to cope with liveness
cites work: Universal extensions to simulate specifications
cites work: Q4525781
cites work: Forward and backward simulations. I. Untimed Systems
cites work: Relation-algebraic semantics
cites work: Q4411818
cites work: Q4524764
cites work: Q4520493
cites work: The WAM case study: Verifying compiler correctness for Prolog with KIV
cites work: ASM refinement and generalizations of forward simulation in data refinement: a comparison
cites work: Q3539946
cites work: Proving correctness with respect to nondeterministic safety specifications
cites work: Power domains
cites work: Q4783310
cites work: Q3995087
cites work: Q4301167
DOI: 10.1016/J.SCICO.2009.10.004
description: scientific article; zbMATH DE number 5904438