Causal Debugging for Concurrent Systems.

Ivan Lanese, Gregor Gssler

Browse the full RC paper archive.