Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems.

Roderick Bloem, Nicolas Braud-Santoni, Swen Jacobs

Browse the full CAV paper archive.