Modélisation des processus communicants (MP:S8MI031)


  • Bases mathématiques de la modélisation des systèmes/procussus communicants.
  • Concepts et formalismes de modélisation de processus.
  • Le langage Lotos et la plateforme CADP