Structural refinement of systems specified in Object-Z and CSP
From MaRDI portal
Publication:706503
DOI10.1007/S00165-003-0002-9zbMATH Open1093.68602OpenAlexW2116136691MaRDI QIDQ706503
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
Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (5)
Interactive tool support for CSP \(\parallel\) B consistency checking ⋮ Title not available (Why is that?) ⋮ Model transformations across views ⋮ The behavioural semantics of Event-B refinement ⋮ Structural and Dynamic Restrictions of Elementary Object Systems
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)
