Event-based Fairness
No Thumbnail Available
Date
2007-01-05T02:02:53Z
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Liveness plays an important role in system requirements. Fairness conditions are an effective way of expressing liveness properties. Previous studies on liveness and fairness have been state-based, for instance, using the notion of B\"{u}chi automata. Traditional event-based specification languages like CSP and CCS deal with safety properties only. In this work, we propose a notion of event-based fairness, i.e., an intuitive yet sound way of associating fairness constraints with individual events. Our approach is demonstrated in the setting of the classic CSP.