top

English
Persona    Opera   
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
   

Espandi
Riduci






Seleziona tutte
Deseleziona


A self-stabilizing distributed clock synchronization protocol for arbitrary digraphs
Espandi opera
...
Achieving agreement in three rounds with bounded-Byzantine faults
Espandi opera
...
Correctness proof of a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs
Espandi opera
...

Fault injection and monitoring capability for a fault-tolerant distributed computation system
Espandi opera
...
Model checking a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs
Espandi opera
...