Sommaire :

  • Références
  • Intro
  • Language source
  • Langage objet
  • Compilateur
  • Egalité partielle de state vectors
  • Théorème
  • Preuve du théorème

  • Bisimulation du cours 5

    •