Combining component specifications in Object-Z and CSP.

DOI10.1007/S001650200002MaRDI QIDQ1601244zbMATH OpenOpenAlexFDO

Authors John Derrick, Eerke Boiten

Publication date 9 September 2002

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Specifying component and context specification using promotion
• Specifying interactive systems in Object-Z and CSP
• Structural refinement of systems specified in Object-Z and CSP
• Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\)
• Extending interface automata with Z notation

Cited in

(3)

• scientific article; zbMATH DE number 1693512 (Why is no real title available?)
• scientific article; zbMATH DE number 1949592 (Why is no real title available?)
• Specifying component and context specification using promotion

This page was built for publication: Combining component specifications in Object-Z and CSP.

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