Kirsten Winter

Identifiers

No identifiers captured yet.

Papers (3)

1. Correctness of Concurrent Objects under Weak Memory Models cs.PL · 2018 · author #2
2. A sound and complete definition of linearizability on weak memory models cs.LO · 2018 · author #2
3. A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency cs.LO · 2017 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Robert J. Colvin 3 shared papers
• Graeme Smith 2 shared papers
• Ian J. Hayes 1 shared papers
• Larissa A. Meinicke 1 shared papers