| Czech |
| has gloss | ces: Bisimulace je v teoretické informatice relace ekvivalance mezi stavy přechodových systémů. |
| lexicalization | ces: bisimulace |
| German |
| has gloss | deu: In der theoretischen Informatik ist eine Bisimulation eine Relation zwischen den Zuständen eines Transitionssystems, die solche Zustände miteinander in Beziehung setzt, die sich gleich verhalten. Das bedeutet, dass der eine Zustand die Übergänge des anderen simulieren kann und umgekehrt. |
| lexicalization | deu: Bisimulation |
| French |
| has gloss | fra: En informatique théorique une bisimulation est une relation binaire entre systèmes de transition détats, associant les systèmes qui se comportent de la même façon au sens quun des systèmes simule lautre et vice-versa. Une bisimulation sur un même système nest pas nécessairement une relation déquivalence, elle nest même pas nécessairement réflexive. |
| lexicalization | fra: bisimulation |
| Italian |
| has gloss | ita: Nel campo dellinformatica teorica la bisimulazione è una relazione binaria tra sistemi a transizione di stati, che associa sistemi i quali si comportano nello stesso modo nel senso che un sistema simula laltro e viceversa. |
| lexicalization | ita: bisimulazione |
| Japanese |
| has gloss | jpn: 双模倣性（そうもほうせい、Bisimulation）とは、理論計算機科学における複数の状態遷移系の間の同値関係を意味する。そのようなシステムは、互いに他のシステムの動作をシミュレートできるという意味で同じ動作が可能である。 |
| lexicalization | jpn: 双模倣性 |