Larissa A. Meinicke

Identifiers

No identifiers captured yet.

Papers (4)

1. Handling localisation in rely/guarantee concurrency: An algebraic approach cs.LO · 2019 · author #1
2. Encoding fairness in a synchronous concurrent program algebra: extended version with proofs 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 #2
4. Designing a semantic model for a wide-spectrum language with concurrency cs.LO · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Ian J. Hayes 4 shared papers
• Robert J. Colvin 2 shared papers
• Kirsten Winter 1 shared papers