11 citations · 26 across the 10 of their papers we have counts for
3 papers · 1 filter
Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification (Extended Version)
Nouraldin Jaber, Christopher Wagner, Swen Jacobs +2
Distributed agreement-based (DAB) systems use common distributed agreement protocols such as leader election and consensus as building blocks for their target functionality. While…
Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems
Christopher Wagner, Nouraldin Jaber, Roopsha Samanta
The ubiquity of distributed agreement protocols, such as consensus, has galvanized interest in verification of such protocols as well as applications built on top of them. The comp…
FTMPST: Fault-Tolerant Multiparty Session Types
Kirstin Peters, Uwe Nestmann, Christoph Wagner
Multiparty session types are designed to abstractly capture the structure of communication protocols and verify behavioural properties. One important such property is progress, i.e…