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

[N.M. Maclaren]

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.

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.4886

Regards,
Nick Maclaren.