Cited in
(21)- Automated verification of reactive and concurrent programs by calculation
- Sound reasoning in \textit{tock}-CSP
- CSP-CASL -- a new integration of process algebra and algebraic specification
- Multiple synchrony in MSC
- Proceedings of the 8th international workshop on automated verification of critical systems (AVoCS 2008), Glasgow, UK, September 30 -- October 1, 2008
- A Complete Axiomatic Semantics for the CSP Stable-Failures Model
- Deadlock-freeness of hexagonal systolic arrays
- The stable revivals model in CSP-Prover
- On the limits of refinement-testing for model-checking CSP
- rCOS
- TCOZ
- FDR2
- CoCasl
- PAT
- PTSC
- Generic tools via general refinement
- Failure-divergence semantics and refinement of long running transactions
- Property Preserving Refinement for Csp-Casl
- Simulating truly concurrent CSP
- A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
- CSP-CASL-Prover: a generic tool for process and data refinement
This page was built for software: CSP-prover
