Thoraval, René 1944?-...
VIAF ID: 22176339 ( Personal )
Permalink: http://viaf.org/viaf/22176339
Preferred Forms
Works
Title | Sources |
---|---|
Correctness of automated distribution of sequential programs | |
Dérivation d'algorithmes distribués d'arbitrage | |
Dérivation de protocoles d'exclusion mutuelle équitables à partir de protocoles d'exclusion mutuelles inéquitables | |
Modelisation et visualisation d'objetd tridimensionels decrits par des ensembles de coupes paralleles : etude bibliographique commentee | |
LES PRINCIPES ET MECANISMES FONDAMENTAUX DE L'EXCLUSION MUTUELLE EQUITABLE DANS LES SYSTEMES DISTRIBUES : CONSTRUCTION DES ALGORITHMES CLASSIQUES ET DE QUELQUES-UNES DE LEURS VARIANTES | |
The principles of the solutions to the fair mutual exclusion problem in distributed systems - derivation of the well known algorithm and of some of their variants. | |
Le Sentiment obscur de son indignité |