Pages that link to "Item:Q1329195"
From MaRDI portal
The following pages link to Recursion induction for real-time processes (Q1329195):
Displayed 9 items.
- Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B (Q549684) (← links)
- Probabilistic communicating processes (Q672230) (← links)
- A brief history of Timed CSP (Q674191) (← links)
- Fixed points without completeness (Q674192) (← links)
- Reactive bisimulation semantics for a process algebra with timeouts (Q2687033) (← links)
- (Q2842861) (← links)
- May Testing, Non-interference, and Compositionality (Q4923384) (← links)
- (Q5089269) (← links)
- Timewise refinement for communicating processes (Q5890047) (← links)