Non-atomic refinement in Z and CSP

DOI10.1007/11415787_3MaRDI QIDQ5703819zbMATH OpenOpenAlexFDO

Authors John Derrick, Heike Wehrheim

Publication date 10 November 2005

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

Full work available at URL https://doi.org/10.1007/b135596

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Using coupled simulations in non-atomic refinement
• Relational concurrent refinement: automata
• Refinement in Object-Z and CSP
• Refinement in Z and object-Z. Foundations and advanced applications
• Relational concurrent refinement. III: Traces, partial relations and automata

Cited in

(4)

• An improved physical ZKP for Nonogram
• Using coupled simulations in non-atomic refinement
• Refinement in Object-Z and CSP
• Relational concurrent refinement. III: Traces, partial relations and automata

This page was built for publication: Non-atomic refinement in Z and CSP

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