Process algebra reconsidered

May 7, 2010 | 0 Comments

Paper is here. The following incorrect claim is not unusual in the process algebra literature. Basically, what is missing [in classical automata theory] is the notion of [...]

Deterministic multithreading

August 10, 2009 | 0 Comments

An interesting paper appearing in ASPLOS proceedings provides a “deterministic” locking method Kendo enforces a deterministic interleaving of lock acquisitions [...]

Are threads evil? (updated)

February 25, 2009 | 1 Comment

This paper by Prof. Edward Lee explains something of why “threads” are such a painful abstraction. ¬†As Prof. Lee notes, threads intrinsically create unspecified [...]