Fauconnier, Hugues
VIAF ID: 51808215 ( Personal )
Permalink: http://viaf.org/viaf/51808215
Preferred Forms
- 200 _ | ‡a Fauconnier ‡b Hugues
- 100 1 _ ‡a Fauconnier, Hugues
- 100 1 _ ‡a Fauconnier, Hugues
-
-
- 100 1 _ ‡a Fauconnier, Hugues
Works
Title | Sources |
---|---|
Application des langages infinitaires à l'étude du langage C.S.P. de C.A.R. HOARE | |
Fault-tolerance in the dynamic networks. | |
Formalisation et vérification des systèmes blockchain | |
Local and temporal predicates in distributed systems | |
Mariage stable asynchrone et auto-stabilisant. | |
Minimal conditions for fault-tolerant agreement | |
Networked systems, [2015]: | |
Programmer en Ada 95 | |
Synchronization and Fault-tolerance in Distributed Algorithms | |
Synchronization costs in parallel programs and concurrent data structures | |
Tolérance aux défaillances dans les réseaux dynamiques |