Translation of Pi-Calculus into IF-2.0, a language for classical transition system

Ecole: UNIVERSITE JOSEPH FOURIER
Entreprise: Verimag
Niveau: BAC + 3
Le pi-calcul et IF-2.0 sont des langages exprimant la mobilite des processus respectivement dynamiquement et statiquement. Il existe des outils de verifications pour IF-2.0 developpes par le laboratoire VERIMAG, a Grenoble. Ce document est une approche de la traduction de pi-calculus en IF-2.0 dans le but de verifier des processus dynamique avec des outils deja existant.