Debugging of concurrent processes.

Siegfried Grabner, Dieter Kranzlmller, Jens Volkert

Browse the full PDP paper archive.