Formal Reasoning about Hardware and Software Memory Models

This publication has 10 references indexed in Scilit:

• Specifying multithreaded Java semantics for program verification
  Published by Association for Computing Machinery (ACM) ,2002
• Core semantics of multithreaded Java
  Published by Association for Computing Machinery (ACM) ,2001
• Improving the Java memory model using CRF
  Published by Association for Computing Machinery (ACM) ,2000
• Taming Java Threads
  Published by Springer Nature ,2000
• Fixing the Java memory model
  Published by Association for Computing Machinery (ACM) ,1999
• An executable specification and verifier for relaxed memory order
  IEEE Transactions on Computers, 1999
• Starfire: extending the SMP envelope
  IEEE Micro, 1998
• Shared Memory Consistency Models: A Tutorial
  Published by Defense Technical Information Center (DTIC) ,1995
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
  IEEE Transactions on Computers, 1979