Dominic P. Mulligan

Identifiers

• name variant Dominic P. Mulligan 0.60 · backfill

Papers (3)

1. OpSets: Sequential Specifications for Replicated Datatypes (Extended Version) cs.DC · 2018 · author #3
2. Verifying Strong Eventual Consistency in Distributed Systems cs.DC · 2017 · author #3
3. Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets cs.LO · 2011 · author #2

Mentions

• 1111.0089 #2 · backfill · confidence 0.70 Dominic P. Mulligan

Frequent Coauthors

• Alastair R. Beresford 2 shared papers
• Martin Kleppmann 2 shared papers
• Victor B. F. Gomes 2 shared papers
• Murdoch J. Gabbay 1 shared papers