Multi-core Symbolic Bisimulation Minimisation
Abstract elided by the publisher.
Related papers
- Symbolic Bisimulation Minimisation CAV 1992
- SMT-Based Bisimulation Minimisation of Markov Models VMCAI 2013
- Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking TACAS 2007
- Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests POPL 2015
- Forward Bisimulations for Nondeterministic Symbolic Finite Automata TACAS 2017
- A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization VMCAI 2019
- Multi-core On-The-Fly Saturation TACAS 2019
- A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract APLAS 2007