Formalising Java’s Data Race Free Guarantee

This publication has 18 references indexed in Scilit:

• Modular verification of multithreaded programs
  Theoretical Computer Science, 2005
• An assertion-based proof system for multithreaded Java
  Theoretical Computer Science, 2005
• The Java memory model
  Published by Association for Computing Machinery (ACM) ,2005
• Formal Reasoning about Hardware and Software Memory Models
  Published by Springer Nature ,2002
• The apprentice challenge
  ACM Transactions on Programming Languages and Systems, 2002
• Improving the Java memory model using CRF
  Published by Association for Computing Machinery (ACM) ,2000
• The Java memory model is fatally flawed
  Concurrency: Practice and Experience, 2000
• Shared memory consistency models: a tutorial
  Computer, 1996
• A unified formalization of four shared-memory models
  IEEE Transactions on Parallel and Distributed Systems, 1993
• Time, clocks, and the ordering of events in a distributed system
  Communications of the ACM, 1978