Larissa A. Meinicke

Identifiers

• name variant Larissa A. Meinicke 0.60 · backfill

Papers (5)

1. Reasoning about concurrent loops and recursion with rely-guarantee rules cs.LO · 2025 · author #2
2. Handling localisation in rely/guarantee concurrency: An algebraic approach cs.LO · 2019 · author #1
3. Encoding fairness in a synchronous concurrent program algebra: extended version with proofs cs.LO · 2018 · author #2
4. A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency cs.LO · 2017 · author #2
5. Designing a semantic model for a wide-spectrum language with concurrency cs.LO · 2016 · author #3

Mentions

• 2512.06242 #2 · arxiv_oai · confidence 0.70 Larissa A. Meinicke

Frequent Coauthors

• Ian J. Hayes 5 shared papers
• Robert J. Colvin 2 shared papers
• Cliff B. Jones 1 shared papers
• Kirsten Winter 1 shared papers