Verification of Fairness in an Implementation of Monitors

@inproceedings{Karp-Luckham:ICSE76,
  author    = {Richard Alan Karp and
               David C. Luckham},
  title     = {Verification of Fairness in an Implementation of Monitors},
  booktitle = {ICSE},
  pages     = {40--46},
  publisher = {{IEEE} Computer Society},
  year      = {1976},
}