Ian J. Hayes

Identifiers

• name variant Ian J. Hayes 0.60 · backfill

Papers (8)

1. Handling localisation in rely/guarantee concurrency: An algebraic approach cs.LO · 2019 · author #2
2. Encoding fairness in a synchronous concurrent program algebra: extended version with proofs cs.LO · 2018 · author #1
3. A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency cs.LO · 2017 · author #1
4. Designing a semantic model for a wide-spectrum language with concurrency cs.LO · 2016 · author #2
5. Generalised rely-guarantee concurrency: An algebraic foundation cs.LO · 2016 · author #1
6. Possible values: exploring a concept for concurrency cs.LO · 2016 · author #2
7. Convolution, Separation and Concurrency cs.LO · 2014 · author #2
8. Calculating modules in contextual logic program refinement cs.LO · 2006 · author #2

Mentions

• 1410.4235 #2 · backfill · confidence 0.70 Ian J. Hayes

Frequent Coauthors

• Larissa A. Meinicke 4 shared papers
• Robert J. Colvin 2 shared papers
• Brijesh Dongol 1 shared papers
• Cliff B. Jones 1 shared papers
• Georg Struth 1 shared papers
• Kirsten Winter 1 shared papers
• Paul Strooper 1 shared papers
• Robert Colvin 1 shared papers