Paper by Batty et all.
52 views
Skip to first unread message
Giovanni Funchal
Oct 13, 2010, 8:22:21 AM10/13/10
to Relacy Race Detector
Hi,
I've just stumbled upon this nice paper about the C++ memory model
that might be of your interest.
Mathematizing C++ Concurrency: The Post-Rapperswil Model
http://www.cl.cam.ac.uk/~pes20/cpp/tech.pdf
-- Giovanni
I've just stumbled upon this nice paper about the C++ memory model
that might be of your interest.
Mathematizing C++ Concurrency: The Post-Rapperswil Model
http://www.cl.cam.ac.uk/~pes20/cpp/tech.pdf
-- Giovanni
Reply all
Reply to author
Forward
0 new messages