Making Paxos face facts

August 23, 2016 | 2 Comments

Lamport’s  “Paxos Made Simple” paper is notoriously hard to understand but at least part of the difficulty is that the algorithm  changes radically in [...]

Keynes apology

January 23, 2016 | 0 Comments

The composition of this book has been for the author a long struggle of escape, and so must the reading of it be for most readers if the author’s assault upon them is [...]

Process algebra versus state machines part 1

January 20, 2016 | 0 Comments

Robin Milner’s influential book Communication and Concurrency involves a take on state machines that has always puzzled me. “Now in standard automata theory, an [...]

Theories of abstract automata – Arbib

December 12, 2015 | 0 Comments

We have said that automata theory deals with the realization of partial functions F: X* —» Y* by some finitely specifiable substrate. Before we specify in more detail the [...]

Kirkhart’s conjecture

November 23, 2015 | 0 Comments

Is that there is some insight into the nature of primes that comes from considering the classes of numbers that share the same set of prime factors. For example 2x3x5 = 30, [...]
1 2 3 4 5