Specification and Proof in Real Time CSP
From MaRDI portal
Publication:4282003
DOI10.1017/CBO9780511569760zbMATH Open0820.68075OpenAlexW1985660652MaRDI QIDQ4282003FDOQ4282003
Authors: Jim Davies 
Publication date: 17 February 1994
Full work available at URL: https://doi.org/10.1017/cbo9780511569760
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
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)
Cited In (28)
- 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 hierarchy of domains for real-time distributed computing
- Factorizing proofs in timed CSP
- Communicating Sequential Processes. The First 25 Years
- A brief history of Timed CSP
- Title not available (Why is that?)
- A proof-based method for modelling timed systems
- Extending Hoare logic to real-time
- Sound reasoning in \textit{tock}-CSP
- Timing in the cospan-span model
- Title not available (Why is that?)
- A CSP model with flexible parallel termination semantics
- Philosophers May Dine - Definitively!
- Recursion induction for real-time processes
- A theory of Orwellian specifications with NewThink
- Title not available (Why is that?)
- Modeling and verification of real-time systems based on equations
- A timed model for communicating sequential processes
- A refinement-based process algebra for timed automata
- A technique for specifying and refining TCSP processes by using guards and liveness conditions
- Parameter synthesis for hierarchical concurrent real-time systems
- A process algebraic framework for specification and validation of real-time systems
- Timewise refinement for communicating processes
- Title not available (Why is that?)
- 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)
