Specification and Proof in Real Time CSP

DOI10.1017/CBO9780511569760zbMath0820.68075OpenAlexW1985660652MaRDI QIDQ4282003

Jim Davies

Publication date: 17 February 1994

Full work available at URL: https://doi.org/10.1017/cbo9780511569760

zbMATH Keywords

CSPspecificationsimplementationstimed process algebrabroadcast concurrency

Mathematics Subject Classification ID

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

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

This page was built for publication: Specification and Proof in Real Time CSP