R. Cleaveland and O. Sokolsky, Equivalence and Preorder Checking for Finite-State Systems, Handbook of Process Algebra, pp.391-424, 2001.
DOI : 10.1016/B978-044482830-9/50024-2

A. Dovier, C. Piazza, and A. Policriti, An efficient algorithm for computing bisimulation equivalence, Theoretical Computer Science, vol.311, issue.1-3, pp.1-3221, 2004.
DOI : 10.1016/S0304-3975(03)00361-X

J. Fernandez and L. Mounier, Verifying bisimulations " on the fly, Proc. of FORTE'90, 1990.

H. Garavel, OPEN/C??SAR: An open software architecture for verification, simulation, and testing, Proc. of TACAS'98, pp.68-84, 1998.
DOI : 10.1007/BFb0054165
URL : http://hal.archives-ouvertes.fr/docs/00/07/33/37/PDF/RR-3352.pdf

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP??2006: A Toolbox for the Construction and Analysis of Distributed Processes, Proc. of CAV'2007, pp.158-163, 2007.
DOI : 10.1007/978-3-540-73368-3_18
URL : https://hal.archives-ouvertes.fr/inria-00189021

A. Ingolfsdottir and B. Steffen, Characteristic formulae for processes with divergence, Information and Computation, vol.110, issue.1, pp.149-163, 1994.

A. Mader, Verification of modal properties using boolean equation systems, 1997.

R. Mateescu, On-the-fly state space reductions for weak equivalences, Proceedings of the 10th international workshop on Formal methods for industrial critical systems , FMICS '05, pp.80-89, 2005.
DOI : 10.1145/1081180.1081191

R. Mateescu, CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems, International Journal on Software Tools for Technology Transfer, vol.8, issue.1, pp.37-56, 2006.
DOI : 10.1007/s10009-005-0194-9
URL : https://hal.archives-ouvertes.fr/inria-00084628

G. Pace, F. Lang, and R. Mateescu, Calculating ??-Confluence Compositionally, Proc. of CAV'2003, pp.446-459, 2003.
DOI : 10.1007/978-3-540-45069-6_41
URL : https://hal.archives-ouvertes.fr/inria-00071661

S. K. Shukla, H. B. Hunt, I. , and D. J. Rosenkrantz, HORNSAT, model checking, verification and games, Proc. of CAV'96, pp.99-110, 1996.
DOI : 10.1007/3-540-61474-5_61
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.7132