English translation for "bisimulation"

bisimulation

Example Sentences:

	1.	Furthermore, it is the largest bisimulation relation over a given transition system. De plus, c'est la plus grande relation de bisimulation sur un système de transition donné.
	2.	Therefore, in general, there may be more than one kind of bisimulation, (bisimilarity resp.) relationship depending on the context. Par conséquent, en général, il peut y avoir plus d'une sorte de relation de bisimulation (resp. bisimilarité) en fonction du contexte.
	3.	This research has resulted in Van Benthem's Theorem, which states that propositional modal logic is the fragment of first-order logic that is closed under bisimulation. Van Benthem a démontré que la logique modale est le fragment de la logique du premier ordre qui est invariante par bisimulation.
	4.	Typically, if the state transition system gives the operational semantics of a programming language, then the precise definition of bisimulation will be specific to the restrictions of the programming language. Typiquement, si le système de transition d'états donne la sémantique opérationnelle d'un langage de programmation, alors la définition précise de la bisimulation sera spécifique aux restrictions du langage de programmation.
	5.	In theoretical computer science a bisimulation is a binary relation between state transition systems, associating systems that behave in the same way in the sense that one system simulates the other and vice versa. 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 qu'un des systèmes simule l'autre et vice-versa.

Similar Words：

"bisi alimi" English translation, "bisi olateru-olagbegi" English translation, "bisi silva" English translation, "bisignano" English translation, "bisimbre" English translation, "bisinchi" English translation, "bisingen" English translation, "bisio" English translation, "bisira" English translation