L'experimentation d'algorithmes distribues sur machines paralleles avec ECHIDNA. (Experimenting distributed algorithms on parallel machines with ECHIDNA.)
Auteur : Institut National de Recherche en Informatique et en Automatique, Jean-Marc Jezequel, Claude Jard
Date de publication : 1991
Éditeur : Institut National de Recherche en Informatique et en Automatique
Nombre de pages : 62
Résumé du livre
Abstract: "This document presents an introduction to formal specifications techniques, validation and prototyping on distributed systems. The first chapter is a general presentation of the semantic basis of formal specifications and their use to design, validate and prototype communication protocols. The second chapter presents in some details a normalized formal description technique called Estelle, which is used in the ECHIDNA tool. The third chapter is an ECHIDNA reference manual, and shows how one can use it to prototype distributed algorithms on distributed systems."