Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models (Summary)

This publication has 7 references indexed in Scilit:

• The Java memory model
  Published by Association for Computing Machinery (ACM) ,2005
• Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models (Summary)
  Published by Springer Nature ,2004
• Improving the Java memory model using CRF
  Published by Association for Computing Machinery (ACM) ,2000
• Recent advances in memory consistency models for hardware shared memory systems
  Proceedings of the IEEE, 1999
• Shared Memory Consistency Models: A Tutorial
  Published by Defense Technical Information Center (DTIC) ,1995
• Concurrent Constraint Programming
  Published by MIT Press ,1993
• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
  IEEE Transactions on Computers, 1979