Marius Poke

Identifiers

No identifiers captured yet.

Papers (2)

1. Formal Specification and Safety Proof of a Leaderless Concurrent Atomic Broadcast Algorithm cs.DC · 2017 · author #1
2. AllConcur: Leaderless Concurrent Atomic Broadcast (Extended Version) cs.DC · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Colin W. Glass 2 shared papers
• Torsten Hoefler 1 shared papers