Specification and Proof in Real Time CSP

DOI10.1017/CBO9780511569760MaRDI QIDQ4282003zbMATH OpenOpenAlexFDO

Authors 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

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60) Collected or selected works; reprintings or translations of classics (01A75)

Recommendations

• A refinement-based process algebra for timed automata
• Factorizing proofs in timed CSP
• scientific article; zbMATH DE number 53319
• A brief history of Timed CSP
• Correct Hardware Design and Verification Methods
• A predicative semantics for the refinement of real-time systems
• Specification and compositional verification of real-time systems
• scientific article; zbMATH DE number 1001709
• scientific article; zbMATH DE number 2196154

Cited in

(29)

• Testing using CSP Models: Time, Inputs, and Outputs
• A mechanized semantic framework for real-time systems
• Specifying termination in CSP
• Design and verification of distributed recovery blocks with CSP
• A brief history of Timed CSP
• A hierarchy of domains for real-time distributed computing
• Factorizing proofs in timed CSP
• Communicating Sequential Processes. The First 25 Years
• scientific article; zbMATH DE number 3956416 (Why is no real title available?)
• Extending Hoare logic to real-time
• A proof-based method for modelling timed systems
• Sound reasoning in \textit{tock}-CSP
• Timing in the cospan-span model
• A CSP model with flexible parallel termination semantics
• scientific article; zbMATH DE number 176736 (Why is no real title available?)
• Recursion induction for real-time processes
• Philosophers May Dine - Definitively!
• A theory of Orwellian specifications with NewThink
• Modeling and verification of real-time systems based on equations
• scientific article; zbMATH DE number 683359 (Why is no real title available?)
• A timed model for communicating sequential processes
• A refinement-based process algebra for timed automata
• Parameter synthesis for hierarchical concurrent real-time systems
• A complete axiomatization of finite-state ACSR processes
• A technique for specifying and refining TCSP processes by using guards and liveness conditions
• A process algebraic framework for specification and validation of real-time systems
• Timewise refinement for communicating processes
• scientific article; zbMATH DE number 2086958 (Why is no real title available?)
• A functional model for describing and reasoning about time behaviour of computing systems

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

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