scientific article; zbMATH DE number 2013580

zbMath1028.68541MaRDI QIDQ4436964

John Derrick, Heike Wehrheim

Publication date: 4 December 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2651/26510127.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Zaction refinementcoupled simulationsNon-atomic refinement

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (9)

Coupled similarity: the first 32 years ⋮ Completeness of ASM Refinement ⋮ Completeness of fair ASM refinement ⋮ Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B ⋮ ASM refinement and generalizations of forward simulation in data refinement: a comparison ⋮ Atomic actions, and their refinements to isolated protocols ⋮ Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B ⋮ Introducing extra operations in refinement ⋮ Relational concurrent refinement. III: Traces, partial relations and automata

This page was built for publication: