Fast Bisimulation Algorithm

A. Dovier, C. Piazza, A. Policriti, and N. Ugel


C++ Code. Project Fast Bisimulation Algorithm.
The archive contains: C++ code, FC2 interface, examples.

A. Dovier, C. Piazza, A. Policriti.
An Efficient Algorithm for Computing Bisimulation.
Theoretical Computer Science, 311(1--3):221--256, 2004.

A. Dovier, C. Piazza, A. Policriti, N. Ugel.
Code explanation and Testing results.