Checking a Multithreaded Algorithm with <sup>+</sup>CAL.

Leslie Lamport Checking a Multithreaded Algorithm with <sup>+</sup>CAL. 151-163 2006 conf/wdag/2006 DISC http://dx.doi.org/10.1007/11864219_11 db/conf/wdag/disc2006.html#Lamport06