Ouvrir le menu
Publier un document
Alternate Text
clear
fr
Ouvrir le menu
Category Category Translation of Pi-Calculus into IF-2.0, a language for classical transition system

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

icon

29

pages

icon

English

icon

Documents

2003

Écrit par

Publié par

Lire un extrait
Alternate Text
Lire un extrait
Alternate Text

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris
icon

29

pages

icon

English

icon

Ebook

2003

Lire un extrait
Alternate Text
Lire un extrait
Alternate Text

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Publié par

Publié le

02 juillet 2003

Nombre de lectures

47

Langue

English

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.
Voir Alternate Text

Publié par

Publié le

02 juillet 2003

Nombre de lectures

47

Langue

English

Voir Alternate Text
  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • Podcasts Podcasts
  • BD BD
  • Documents Documents
Signaler un problème
playstore
appstore
facebook twitter instagram youtube

YouScribe

Le catalogue

Le service

Les conditions

© 2010-2024 YouScribe
Livre audio en ligne - Développement personnel Livre en ligne Tout le catalogue Tous les Intérêts
Alternate Text
Category

Book

Book

icon play
icon play Infos