Leslie Lamport. Checking a Multithreaded Algorithm with :::+:::CAL. In Shlomi Dolev, editor, Distributed Computing, 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings. Volume 4167 of Lecture Notes in Computer Science, pages 151-163, Springer, 2006. [doi]
Abstract is missing.