Pages that link to "Item:Q1941887"
From MaRDI portal
The following pages link to Checking noninterference in timed CSP (Q1941887):
Displaying 5 items.
- A hierarchy of failures-based models: theory and application (Q1763727) (← links)
- An efficient algorithm for computing bisimulation equivalence (Q1884935) (← links)
- Translating between models of concurrency (Q2182666) (← links)
- On CSP Refinement Tests That Run Multiple Copies of a Process (Q2810978) (← links)
- Process Algebra and Model Checking (Q3176390) (← links)
