Minimization of Non-deterministic Automata with Large Alphabets
Lecture notes in computer science2006pp. 31–42
Citations Over TimeTop 20% of 2006 papers
Related Papers
- → Enhancements of the bisimulation proof method(2011)77 cited
- → On Context Bisimulation for Parameterized Higher-order Processes(2013)4 cited
- → Congruent Bisimulation Equivalence of Ambient Calculus Based on Contextual Transition System(2013)3 cited
- → Bisimulation for Higher-Order Process Calculi(1996)17 cited
- → A Spatial Logical Characterisation of Context Bisimulation(2007)3 cited