Specification and Proof in Real Time CSP

From MaRDI portal

Revision as of 18:22, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4282003

Jump to:navigation, search

DOI10.1017/CBO9780511569760zbMath0820.68075OpenAlexW1985660652MaRDI QIDQ4282003

Publication date: 17 February 1994

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

zbMATH Keywords

CSP specifications implementations timed process algebra broadcast 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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4282003&oldid=18204520"