Design and verification of distributed recovery blocks with CSP

DOI10.1023/A:1022997110855zbMath1020.68055OpenAlexW1802427677WikidataQ60173607 ScholiaQ60173607MaRDI QIDQ1870210

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

real-time systemsfault-toleranceCSPtimewise refinementformal specification and verificationdistributed recovery block scheme

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Uses Software

• PVS

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