Translation of Pi-Calculus into IF-2.0, a language for classical transition system
-
29
pagini
-
English
-
Documente
-
2003
Scris de
Hugo Venturini
Publicat de
Le-stagiaire
-
29
pagini
-
English
-
Documente
-
2003
Descriere
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.
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.
-
Publicat de
-
Publié le
02 iulie 2003
-
Limba
English
Adăugat la notificările mele
Vei fi notificat cu privire la următoarele publicații.