The following pages link to (Q2842853):
Displayed 8 items.
- Computing maximal weak and other bisimulations (Q510897) (← links)
- On the computational complexity of bisimulation, redux (Q703845) (← links)
- Cartesian difference categories (Q2200813) (← links)
- (Q2845494) (← links)
- Efficient Coalgebraic Partition Refinement (Q5111646) (← links)
- Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities (Q5164168) (← links)
- (Q5214815) (← links)
- Equivalence checking 40 years after: a review of bisimulation tools (Q6163887) (← links)