Monitoring Local Progress with Watchdog Timers Deduced from Global Properties.

Raul Barbosa

Browse the full SRDS paper archive.