Design and verification of distributed recovery blocks with CSP

DOI10.1023/A:1022997110855MaRDI QIDQ1870210zbMATH OpenOpenAlexWikidataFDO

Authors W. L. Yeung, S. A. Schneider

Publication date 11 May 2003

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1022997110855

zbMATH Keywords

CSPdistributed recovery block schemefault-toleranceformal specification and verificationreal-time systemstimewise refinement

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Design and verification of fault tolerant systems with CSP
• Communicating Sequential Processes. The First 25 Years
• scientific article; zbMATH DE number 3846851
• scientific article; zbMATH DE number 1107558
• Specification and Proof in Real Time CSP

Cited in

(2)

• Design and verification of fault tolerant systems with CSP
• Dynamic scheduling and fault-tolerance: Specification and verification

Describes a project that uses

Uses Software

• PVS

This page was built for publication: Design and verification of distributed recovery blocks with CSP

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