Pages that link to "Item:Q5164166"
From MaRDI portal
The following pages link to An O(m log n) algorithm for branching bisimilarity on labelled transition systems (Q5164166):
Displayed 7 items.
- Team equivalences for finite-state machines with silent moves (Q2216117) (← links)
- (Q5089272) (← links)
- Causal Semantics for BPP Nets with Silent Moves (Q5164874) (← links)
- Lowerbounds for Bisimulation by Partition Refinement (Q6135758) (← links)
- Equivalence checking 40 years after: a review of bisimulation tools (Q6163887) (← links)
- Apartness and distinguishing formulas in Hennessy-Milner logic (Q6163888) (← links)
- Minimisation of spatial models using branching bisimilarity (Q6174538) (← links)