26 Apr
2006
26 Apr
'06
4:18 p.m.
On 4/25/06, Antti-Juhani Kaijanaho
John Meacham wrote:
* every runnable thread is guarenteed to run in a finite amount of time if a program reaches a yield-point infinitly often.
"Infinitely often" is unclear
"Infinitely often" is a very well-defined term in temporal logic. I
think it is this that John is referring to.
--
Taral