Event-based Fairness
| dc.contributor.author | DONG, Jin Song | en_US |
| dc.contributor.author | SUN, Jun | en_US |
| dc.date.accessioned | 2007-01-05T02:02:53Z | en_US |
| dc.date.accessioned | 2017-01-23T06:59:55Z | |
| dc.date.available | 2007-01-05T02:02:53Z | en_US |
| dc.date.available | 2017-01-23T06:59:55Z | |
| dc.date.issued | 2007-01-05T02:02:53Z | en_US |
| dc.description.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. | en_US |
| dc.format.extent | 501373 bytes | en_US |
| dc.format.mimetype | application/pdf | en_US |
| dc.identifier.uri | https://dl.comp.nus.edu.sg/xmlui/handle/1900.100/2311 | en_US |
| dc.language.iso | en | en_US |
| dc.relation.ispartofseries | TRB1/07 | en_US |
| dc.title | Event-based Fairness | en_US |
| dc.type | Technical Report | en_US |