Pages that link to "Item:Q5703799"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5703799):
Displaying 12 items.
- CSP-prover (Q23407) (← links)
- Failure-divergence semantics and refinement of long running transactions (Q714877) (← links)
- A UTP semantics for communicating processes with shared variables and its formal encoding in PVS (Q1798665) (← links)
- On the limits of refinement-testing for model-checking CSP (Q1941896) (← links)
- Sound reasoning in \textit{tock}-CSP (Q2120813) (← links)
- CSP-CASL -- a new integration of process algebra and algebraic specification (Q2368940) (← links)
- Generic Tools via General Refinement (Q2873690) (← links)
- Simulating Truly Concurrent CSP (Q2999314) (← links)
- Property Preserving Refinement for Csp-Casl (Q3184734) (← links)
- CSP-CASL-Prover: A Generic Tool for Process and Data Refinement (Q5178975) (← links)
- The Stable Revivals Model in CSP-Prover (Q5178981) (← links)
- Multiple Synchrony in MSC (Q5179361) (← links)