The following pages link to (Q5089270):
Displayed 4 items.
- Processes against tests: on defining contextual equivalences (Q2079681) (← links)
- Behavioural logics for configuration structures (Q2123053) (← links)
- Forward-Reverse Observational Equivalences in CCSK (Q5162606) (← links)
- Implementation of a reversible distributed calculus (Q6148123) (← links)