Un résultat bien connu de Thomas Ehrhard et Olivier Laurent nous assure que l'on peut coder CCS finitaire dans les réseaux d'interaction différentiels.
Dans cet exposé (très informel) on présentera/discutera des travaux en cours qui visent à démontrer le résultat suivant : on ne peut pas coder CCS finitaire dans les réseaux d'interaction différentiels. Nous rassurons d'abord tout le monde en disant qu'on ne cherche pas à trouver une incohérence dans ZF : le verbe "coder" est bien sur employé avec deux significations différentes dans les deux enoncés. Plus précisement, Ehrhard-Laurent montrent un codage qui est correct par rapport à une notion de bissimulation entre systèmes de transitions étiquetés.
Ici, on proposera une interprétation des réseaux d'interaction (déterministes, différentiels, ou multiport) dans les structures à événements, et on analysera la possibilité de trouver des codages corrects par rapport à cette sémantique.