Ghost Signals: Verifying Termination of Busy Waiting - Verifying Termination of Busy Waiting.

Tobias Reinhard, Bart Jacobs

Browse the full CAV paper archive.