Multi-core symbolic bisimulation minimisation
van Dijk, Tom
van de Pol, Jaco
We introduce parallel symbolic algorithms for bisimulation minimisation, to combat the combinatorial state space explosion along three different paths. Bisimulation minimisation reduces a transition system to the smallest system with equivalent behaviour. We consider st...