Revision as of 17:44, 18 April 2007 edit Sintaku (talk \| contribs) Extended confirmed users, Rollbackers 12,039 edits Typo fixing, Typos fixed: atleast → at least (2), using AWB ← Previous edit		Revision as of 18:40, 29 April 2007 edit undo 84.139.32.132 (talk) →Strong fairness / compassion: changed T to R Next edit →
Line 5: ==Strong fairness / compassion== Here, if a process is requesting a resource infinitely often (TR), it should be allowed to get the resource (C) infinitely often: <math>\bigwedge( GFR \longrightarrow GFC)</math> ==Model checking for fair CTL==

Fair computational tree logic: Difference between revisions