Encoding Fairness in a Synchronous Concurrent Program Algebra.

Ian J. Hayes, Larissa A. Meinicke

Browse the full FM paper archive.