Defining Fairness in Reactive and Concurrent Systems

Hagen Völzer, Daniele Varacca. Defining Fairness in Reactive and Concurrent Systems. Journal of the ACM, 59(3):13, 2012. [doi]

Abstract

Abstract is missing.