Revision as of 15:30, 26 January 2007 edit Grokmenow (talk \| contribs) 125 edits No edit summary ← Previous edit		Revision as of 15:30, 26 January 2007 edit undo Grokmenow (talk \| contribs) 125 edits No edit summary Next edit →
Line 6: ==Strong fairness / Compassion== Here, if a process is requesting a resource infinitely often (T), it should be allowed to get the resource (C)infinitely often <br /> <math>\bigwedge( GFR \longrightarrow GFC)</math> ==References==

Fair computational tree logic: Difference between revisions