Hayes, Ian J.
- Generalised rely-guarantee concurrency: An algebraic foundation
2016/03/06 by Ian J. Hayes, Hayes, Ian J. · 1 citation
Computer Science · #D.1.3 #D.2.4 #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems
- Possible values: exploring a concept for concurrency
2016/01/09 by Cliff B. Jones, Jones, Cliff B., Ian J. Hayes +1 · 1 citation
Computer Science · #Distributed systems and fault tolerance #Logic, programming, and type systems #Formal Methods in Verification
- Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures
2024/07/30 by Robert J. Colvin, Ian J. Hayes, Colvin, Robert J. +9 · 2 citations
Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Network Time Synchronization Technologies #Parallel Computing and Optimization Techniques
- A synchronous program algebra: a basis for reasoning about shared-memory\n and event-based concurrency
2017/10/09 by Ian J. Hayes, Larissa Meinicke, Hayes, Ian J. +5 · 1 citation
Computer Science · #Distributed systems and fault tolerance #Parallel Computing and Optimization Techniques #Formal Methods in Verification
- Encoding fairness in a synchronous concurrent program algebra: extended version with proofs
2018/05/04 by Ian J. Hayes, Hayes, Ian J., Larissa Meinicke +1 · 1 citation
Computer Science · #68Q60 #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Parallel #and Cluster Computing (cs.DC)
- Deriving Laws for Developing Concurrent Programs in a Rely-Guarantee Style
2021/03/29 by Hayes, Ian J., Meinicke, Larissa A., Meiring, Patrick A. · 1 citation
#D.1.3 #D.2.4 #F.3.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)