scientific article; zbMATH DE number 2013589

MaRDI QIDQ4436974zbMATH OpenFDO

Authors John Derrick

Publication date 4 December 2003

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

zbMATH Keywords

Object-ZRefinementTimed CSP

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\)
• scientific article; zbMATH DE number 2086954
• Structural refinement of systems specified in Object-Z and CSP
• scientific article; zbMATH DE number 2079816
• scientific article; zbMATH DE number 1487726

Cited in

(9)

• An overview of the integrated formalism RT-Z
• Deep semantic links of TCSP and Object-Z: TCOZ approach.
• scientific article; zbMATH DE number 1949592 (Why is no real title available?)
• scientific article; zbMATH DE number 2079816 (Why is no real title available?)
• scientific article; zbMATH DE number 1487726 (Why is no real title available?)
• scientific article; zbMATH DE number 1487728 (Why is no real title available?)
• scientific article; zbMATH DE number 2086958 (Why is no real title available?)
• Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\)
• A brief history of Timed CSP

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 Q4436974)