Pages that link to "Item:Q3636842"
From MaRDI portal
The following pages link to Bisimilarity Minimization in O(m logn) Time (Q3636842):
Displaying 14 items.
- Fast brief practical DFA minimization (Q437674) (← links)
- BPA bisimilarity is EXPTIME-hard (Q1943623) (← links)
- From generic partition refinement to weighted tree automata minimization (Q1982644) (← links)
- Minimality Notions via Factorization Systems and Examples (Q5043590) (← links)
- Efficient Coalgebraic Partition Refinement (Q5111646) (← links)
- Persistent Stochastic Non-Interference (Q5158656) (← links)
- An O(m log n) algorithm for branching bisimilarity on labelled transition systems (Q5164166) (← links)
- Causal Semantics for BPP Nets with Silent Moves (Q5164874) (← links)
- (Q5214815) (← links)
- An <i>O</i> ( <i>m</i> log <i>n</i> ) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation (Q5278211) (← links)
- Distributed coalgebraic partition refinement (Q6535613) (← links)
- Generic partition refinement and weighted tree automata (Q6535955) (← links)
- Compositional verification of priority systems using sharp bisimulation (Q6564171) (← links)
- Explicit Hopcroft's trick in categorical partition refinement (Q6666777) (← links)