Robert J. Colvin

Identifiers

No identifiers captured yet.

Papers (6)

1. A high-level operational semantics for hardware weak memory models cs.LO · 2018 · author #1
2. Correctness of Concurrent Objects under Weak Memory Models cs.PL · 2018 · author #3
3. A sound and complete definition of linearizability on weak memory models cs.LO · 2018 · author #3
4. A wide-spectrum language for verification of programs on weak memory models cs.PL · 2018 · author #1
5. A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency cs.LO · 2017 · author #4
6. Designing a semantic model for a wide-spectrum language with concurrency cs.LO · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Graeme Smith 4 shared papers
• Kirsten Winter 3 shared papers
• Ian J. Hayes 2 shared papers
• Larissa A. Meinicke 2 shared papers