A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization
No abstract available.
Related papers
- Symbolic computation of differential equivalences POPL 2016
- A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract APLAS 2007
- Leapfrog: certified equivalence for protocol parsers PLDI 2022
- Bisimulations for Neural Network Reduction VMCAI 2022
- Symbolic Bisimulation Minimisation CAV 1992
- Multi-core Symbolic Bisimulation Minimisation TACAS 2016
- Forward Bisimulations for Nondeterministic Symbolic Finite Automata TACAS 2017
- Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests POPL 2015