Tag Archives: state machine

State machine functions and recursive composition

My graduate school research was motivated by a difficulty we have doing real creative engineering in operating systems that may seem ridiculous to people who don’t work in the field. The problem is that we can’t describe the problem. What … Continue reading

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