Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification.

Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta

Browse the full TACAS paper archive.