The following pages link to Bisimulation can't be traced (Q4369863):
Displaying 6 items.
- On the axiomatizability of priority. II (Q549169) (← links)
- Observation equivalence as a testing equivalence (Q580965) (← links)
- Distributive laws for monotone specifications (Q2329307) (← links)
- Notions of bisimulation and congruence formats for SOS with data (Q2486401) (← links)
- A stable programming language (Q2492185) (← links)
- Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? (Q5056368) (← links)
