JavaMemoryModel: Semantics of Multithreaded Java

From: Jeremy Manson (
Date: Mon May 14 2001 - 15:28:03 EDT

For those of you who are interested in a more recent version, Bill's and
my semantics paper is now available at:

Abstract only:

Compressed Postscript:

This is the permanent copy, and is slightly more recent than the copy
available from Bill's web page.

JavaMemoryModel mailing list -

This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:00:31 EDT