Refinement in Object-Z and CSP

DOI10.1007/3-540-47884-1_13MaRDI QIDQ4737562zbMATH OpenFDO

Authors Christie Bolton, James E. Davies

Publication date 11 August 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2335/23350225.htm

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

• Structural refinement in Object-Z / CSP
• Structural refinement of systems specified in Object-Z and CSP
• Refinement in Z and object-Z. Foundations and advanced applications
• scientific article; zbMATH DE number 1569130
• ZB 2005: Formal Specification and Development in Z and B
• Refinement and the Z schema calculus
• Abstract specification in Object-Z and CSP
• On the expressive power of CSP refinement
• scientific article; zbMATH DE number 2177630

Cited in

(13)

• Relational concurrent refinement. II: Internal operations and outputs
• Model transformations across views
• Integrating a formal method into a software engineering process with UML and Java
• Relational concurrent refinement: automata
• Modelling Divergence in Relational Concurrent Refinement
• Timed CSP and Object-Z
• Structural refinement in Object-Z / CSP
• More relational concurrent refinement: traces and partial relations
• ZB 2005: Formal Specification and Development in Z and B
• Incompleteness of relational simulations in the blocking paradigm
• The behavioural semantics of Event-B refinement
• Relational concurrent refinement. III: Traces, partial relations and automata
• On using data abstractions for model checking refinements

This page was built for publication: Refinement in Object-Z and CSP

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