On Detecting Termination in the Crash-Recovery Model.

Felix C. Freiling, Matthias Majuntke, Neeraj Mittal

Browse the full EuroPar paper archive.