Bisimulation

Relation binaire entre états de systèmes à états (modèles de Kripke, systèmes de transitions étiquetés, processus) qui met en correspondance leur comportement observable pas à pas : chaque fois qu′un état relié effectue une transition étiquetée a, l′état lié peut correspondre par une transition a vers des états liés, et réciproquement ; la bisimilarité signifie l′existence d′une telle relation rel