Assertion: weak fairness | /r/HasProperty | reasonable
Facets:
value: for synchronous processes
type: OTHER
value: for shared-variable programs
type: OTHER
Source sentences:
text: For shared-variable programs, weak fairness is reasonable
text: For synchronous processes, weak fairness is reasonable, but it is not very useful (enabledness is not local)
text: For asynchronous processes, weak fairness is both reasonable and useful