Discussion:Bisimulation
Tout ou partie de cet article est issu de la traduction de l'article sous licence CC-BY-SA « (en) Bisimulation » dans sa version du 7 mai 2006.
Consultez l'historique de la page originale pour connaître la liste de ses auteurs.
Cet article est indexé par les projets Informatique et Mathématiques.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| Ébauche | Faible |  | Informatique (discussion • critères • liste • stats • hist. • comité • stats vues) |
 | Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues) | ||
Cet article comporte une liste de tâches suggérées :
Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Congruence ⇒ Quelques explications pour effectuer ces corrections. -- 21 juillet 2014 à 10:14 (CEST)
On ne parle ici que de la strong Bisimulation. Il faudrait changer le titre. Qu'en pensez-vous? Citrolin 29 novembre 2006 à 16:19 (CET)
Bissimulation.
modifierBisimulation est un anglicisme. Mais en français, on le lit bizimulation. Bissimulation serait une meilleure traduction. Mais il faudrait refaire une page.
Bisimulation avec un seul système
modifierJ'ai supprimé la phrase "Une bisimulation sur un même système n'est pas nécessairement une relation d'équivalence, elle n'est même pas nécessairement réflexive.". On peut dire quelque chose sur ça mais plus tard dans l'article. Là, c'est très confus. --Fschwarzentruber (discuter) 20 septembre 2016 à 15:40 (CEST)
Suggestions
modifier- mettre un diagramme en plus de la définition formelle (voire, une animation gif ? :) )
- parler de bisimulation de Kripke structures, de Petri nets, etc.
- parler des conditions zig et zag, nommées comme cela par certains chercheurs