A multi-processor Estelle to c compiler to experiment distributed algorithms on parallel machines

Jean-Marc Jézéquel 1 Claude Jard 1
1 ADP - Distributed Algorithms and Protocols
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Type de document :
Communication dans un congrès
9th IFIP International Workshop on Protocol Specification, Testing and Verification, University of Twente, 1989, The Netherlands, Netherlands. 1989
Liste complète des métadonnées
https://hal.inria.fr/hal-00765072
Contributeur : Jean-Marc Jézéquel <>
Soumis le : vendredi 14 décembre 2012 - 10:09:51
Dernière modification le : mercredi 16 mai 2018 - 11:23:02

Identifiants

  • HAL Id : hal-00765072, version 1

Collections

INRIA | IRISA | UR1-UFR-ISTIC | UNIV-RENNES

Citation

Jean-Marc Jézéquel, Claude Jard. A multi-processor Estelle to c compiler to experiment distributed algorithms on parallel machines. 9th IFIP International Workshop on Protocol Specification, Testing and Verification, University of Twente, 1989, The Netherlands, Netherlands. 1989. 〈hal-00765072〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

217

Contact


archive-ouverte@inria.fr