Meinicke, Larissa A.

1. A synchronous program algebra: a basis for reasoning about shared-memory\n and event-based concurrency
   2017/10/09 by Ian J. Hayes, Hayes, Ian J., Larissa Meinicke +5 · 1 citation
   Computer Science · #Distributed systems and fault tolerance #Parallel Computing and Optimization Techniques #Formal Methods in Verification
2. Encoding fairness in a synchronous concurrent program algebra: extended version with proofs
   2018/05/04 by Ian J. Hayes, Larissa Meinicke, Hayes, Ian J. +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)
3. 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)