Download.
Read moreMore computer science as humbug [updated with Brazil dream sequence]
Continuing my experiments in academic papers, I sent a paper on automata and circuit verification to CAV2010 (here’s an updated version with some corrections and
Read moresequential and combinational state machines
There’s a correspondence between the notions of “combinational” and “sequential” in digital circuit engineering and some structure in state machines (and therefore monoids) that seems
Read moreRecursion and state
Despite some deep results, algebraic automata theory has fallen out of favor in theoretical computer science. Reasons include the disciplines failings such as a love
Read moreNew paper “H2” on operating system semantics
Please see a new version here. I am continuing to try to develop a practical engineering mathematics for operating system and other complex system code.
Read more