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

Hugo Venturini

Description

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.

Informations

• Publié par: Le-stagiaire
• Publié le: 02 juillet 2003
• Nombre de lectures: 47
• Langue: English

Extrait