Paper on non-blocking algorithms

See our new paper: Proving that non-blocking algorithms don't block.

Balance.....

"It has long been my personal view that the separation of practical and theoretical work is artificial and injurious. Much of the practical work done in computing, both in software and in hardware design, is unsound and clumsy because the people who do it have not any clear understanding of the fundamental design principles of their work. Most of the abstract mathematical and theoretical work is sterile because it has no point of contact with real computing. One of the central aims of the Programming Research Group as a teaching and research group has been to set up an atmosphere in which this separation cannot happen. "

- Christopher Strachey

Finishing.......starting...........change..........

Congrats to my family: Aubrey graduated from primary school, Mina graduated from childhood; Bee is soon to be the shortest member of the family. ;-) Now we begin new adventures......