The following pages link to (Q5089270):
Displaying 6 items.
- Processes against tests: on defining contextual equivalences (Q2079681) (← links)
- Behavioural logics for configuration structures (Q2123053) (← links)
- Hereditary History-Preserving Bisimilarity: Logics and Automata (Q2789065) (← links)
- (Q4415263) (← links)
- Forward-Reverse Observational Equivalences in CCSK (Q5162606) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897488) (← links)