Structural refinement of systems specified in Object-Z and CSP
From MaRDI portal
Publication:706503
DOI10.1007/S00165-003-0002-9zbMATH Open1093.68602OpenAlexW2116136691MaRDI QIDQ706503FDOQ706503
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
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
Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (14)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Combining component specifications in Object-Z and CSP.
- Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Structural and Dynamic Restrictions of Elementary Object Systems
- Title not available (Why is that?)
- Model transformations across views
- Property Preserving Refinement for Csp-Casl
- Interactive tool support for CSP \(\parallel\) B consistency checking
- The behavioural semantics of Event-B refinement
- Title not available (Why is that?)
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)
