Verification of Fairness in an Implementation of Monitors.

Richard Alan Karp, David C. Luckham

Browse the full ICSE paper archive.