Revision as of 06:34, 29 January 2007 edit Alaibot (talk \| contribs) 434,501 edits m Robot: tagging as uncategorised ← Previous edit		Revision as of 04:59, 8 March 2007 edit undo 70.113.88.48 (talk) →Weak fairness / Justice Next edit →
Line 2: ==Weak fairness / Justice== This declares conditions such as all processes are executing ~~infinite~~infinitely often. If you consider the processes to be P<sub>i</sub>, then the condition becomes <br /><math>\bigwedge GFP_{i}</math> ==Strong fairness / Compassion==

Fair computational tree logic: Difference between revisions