Accueil > Dictionnaire > Définitions du mot « bisimulation »
Bisimulation
[bisɛ̃ylasjɔ̃]
Définitions de « bisimulation »
Bisimulation - Nom commun
-
(Informatique) Relation binaire entre systèmes de transition d'états, où deux systèmes sont considérés équivalents s'ils peuvent simuler mutuellement leurs comportements.