bisimulation

English

Etymology

Etymology tree
Proto-Indo-European *dwóh₁
Proto-Indo-European *dwi-
Proto-Italic *dwi-
Latin bi-bor.
English bi-
English simulation
English bisimulation

    From bi- + simulation.

    Noun

    bisimulation (plural bisimulations)

    1. (logic) an equivalence relation between state transition systems, associating systems which behave in the same way in the sense that one system simulates the other and vice-versa

    Translations

    This page is issued from Wiktionary. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.