The following pages link to (Q2845494):
Displayed 5 items.
- Model checking a cache coherence protocol of a Java DSM implementation (Q864512) (← links)
- From generic partition refinement to weighted tree automata minimization (Q1982644) (← links)
- On the Minimisation of Acyclic Models (Q3541025) (← links)
- An O(m log n) algorithm for branching bisimilarity on labelled transition systems (Q5164166) (← links)
- An <i>O</i> ( <i>m</i> log <i>n</i> ) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation (Q5278211) (← links)