Pages that link to "Item:Q4282003"
From MaRDI portal
The following pages link to Specification and Proof in Real Time CSP (Q4282003):
Displayed 7 items.
- Specifying termination in CSP (Q407510) (← links)
- Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
- A brief history of Timed CSP (Q674191) (← links)
- A CSP model with flexible parallel termination semantics (Q1037248) (← links)
- Sound reasoning in \textit{tock}-CSP (Q2120813) (← links)
- A Proof-Based Method for Modelling Timed Systems (Q3455067) (← links)
- Testing using CSP Models: Time, Inputs, and Outputs (Q5886524) (← links)