Structural refinement of systems specified in Object-Z and CSP

DOI10.1007/S00165-003-0002-9MaRDI QIDQ706503zbMATH OpenOpenAlexFDO

Authors John Derrick, Graeme Smith

Publication date 8 February 2005

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-003-0002-9

zbMATH Keywords

CSPRefinementObject-ZIntegrated formal methods

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2079816
• Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\)
• scientific article; zbMATH DE number 2079811
• scientific article; zbMATH DE number 1615985
• A comparison of refinement orderings and their associated simulation rules

Cited in

(14)

• Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\)
• scientific article; zbMATH DE number 2079816 (Why is no real title available?)
• scientific article; zbMATH DE number 2079811 (Why is no real title available?)
• scientific article; zbMATH DE number 1569129 (Why is no real title available?)
• Property Preserving Refinement for Csp-Casl
• scientific article; zbMATH DE number 2086954 (Why is no real title available?)
• Combining component specifications in Object-Z and CSP.
• scientific article; zbMATH DE number 1569130 (Why is no real title available?)
• Structural and Dynamic Restrictions of Elementary Object Systems
• The behavioural semantics of Event-B refinement
• Model transformations across views
• scientific article; zbMATH DE number 1949592 (Why is no real title available?)
• scientific article; zbMATH DE number 2013589 (Why is no real title available?)
• Interactive tool support for CSP \(\parallel\) B consistency checking

This page was built for publication: Structural refinement of systems specified in Object-Z and CSP

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