Specification and Proof in Real Time CSP
From MaRDI portal
Publication:4282003
DOI10.1017/CBO9780511569760zbMath0820.68075OpenAlexW1985660652MaRDI QIDQ4282003
Publication date: 17 February 1994
Full work available at URL: https://doi.org/10.1017/cbo9780511569760
Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Collected or selected works; reprintings or translations of classics (01A75)
Related Items
Sound reasoning in \textit{tock}-CSP, Testing using CSP Models: Time, Inputs, and Outputs, A Proof-Based Method for Modelling Timed Systems, Specifying termination in CSP, Parameter synthesis for hierarchical concurrent real-time systems, A brief history of Timed CSP, A CSP model with flexible parallel termination semantics