Thèse soutenue

Programmation en logique et compilation de protocoles : le simulateur veda

FR  |  
EN
Auteur / Autrice : JEAN-FRANCOIS MONZIN
Direction : Daniel Herman
Type : Thèse de doctorat
Discipline(s) : Sciences appliquées
Date : Soutenance en 1988
Etablissement(s) : Rennes 1

Résumé

FR

Veda est un simulateur-validateur d'algorithmes distribues. L'environnement choisi pour implanter veda est prolog et les deux sujets concernes sont: l'execution et plus exactement la simulation d'estelle, langage de description d'algorithmes distribues; l'usage de prolog en compilation