A Fixpoint Approach to Finite Delay and Fairness

Chrysafis Hartonas. A Fixpoint Approach to Finite Delay and Fairness. Theoretical Computer Science, 198(1-2):131-158, 1998. [doi]

Abstract

Abstract is missing.