Using coupled simulations in non-atomic refinement

DOI10.1007/3-540-44880-2_10MaRDI QIDQ4436964zbMATH OpenFDO

Authors John Derrick, Heike Wehrheim

Publication date 4 December 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

action refinementcoupled simulationsNon-atomic refinementZ

Mathematics Subject Classification ID

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

Recommendations

• Non-atomic refinement in Z and CSP
• Refinement in Z and object-Z. Foundations and advanced applications
• scientific article; zbMATH DE number 3943003
• Unifying concurrent and relational refinement
• Relational concurrent refinement

Cited in

(11)

• Coupled similarity: the first 32 years
• Atomic actions, and their refinements to isolated protocols
• Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B
• 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
• Non-atomic refinement in Z and CSP
• Coupled Similarity and Contrasimilarity, and How to Compute Them
• Introducing extra operations in refinement
• Relational concurrent refinement. III: Traces, partial relations and automata

This page was built for publication: Using coupled simulations in non-atomic refinement

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4436964)