scientific article; zbMATH DE number 2086954

MaRDI QIDQ4737562zbMATH OpenFDO

Authors Christie Bolton, Jim Davies

Publication date 11 August 2004

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

• scientific article; zbMATH DE number 2079816
• Structural refinement of systems specified in Object-Z and CSP
• scientific article; zbMATH DE number 1615985
• scientific article; zbMATH DE number 1569130
• ZB 2005: Formal Specification and Development in Z and B
• Refinement and the Z schema calculus
• scientific article; zbMATH DE number 1949592
• 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
• scientific article; zbMATH DE number 2013589 (Why is no real title available?)
• scientific article; zbMATH DE number 2079816 (Why is no real title available?)
• 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:

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