Abstract 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