R. Milner, Communication and Concurrency, 1989.

E. Brinksma and G. Scollo, Formal notions of implementation and conformance in LOTOS, 1986.

G. Leduc, Conformance relation, associated equivalence, and minimum canonical tester in LOTOS, PSTV XI, pp.249-264, 1991.

H. Luong, T. Lambolais, and A. Courbis, Implementation of the Conformance Relation for Incremental Development of Behavioural Models, Lecture Notes in Computer Science, vol.5301, pp.356-370, 2008.
DOI : 10.1007/978-3-540-87875-9_26

T. Lambolais, A. Courbis, and H. Luong, Raffinement de modèles comportementaux UML, vérification des relations d'implantation et d'extension sur les machines d'états, 2009.

F. Lang, Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods, Lecture Notes in Computer Sciences, vol.3771, issue.2, pp.70-88, 2005.
DOI : 10.1007/11589976_6
URL : https://hal.archives-ouvertes.fr/inria-00070339

R. Malik, D. Streader, and S. Reeves, CONFLICTS AND FAIR TESTING, International Journal of Foundations of Computer Science, vol.17, issue.04, pp.797-813
DOI : 10.1142/S012905410600411X