(j3.2006) (SC22WG5.5188) The semantics of atomic actions

N.M. Maclaren nmm1
Wed Feb 19 08:42:44 EST 2014

While looking at Peter Sewell's advanced concurrency course, I found this
and am enquiring further.  It looks very plausible as a basis, so I am
posting a link.  People who are not particularly interested need not bother
to look at it, because (at present) it is merely a possibility.


Nick Maclaren.

More information about the J3 mailing list