Tag Archives: moore machines

Recursion and state

Posted on July 2, 2009 by admin

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 of over-generality, weak mathematical background of people working on “formal methods”, and gap between theoreticians … Continue reading →

Posted in specification | Tagged , , , | Leave a comment

New paper “H2″ on operating system semantics

Posted on May 18, 2008 by admin

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.

Posted in operating systems, software engineering | Tagged , , , , | Leave a comment