HOME | GIT | CV | MUSINGS
LOG | FILES | OVERVIEW
machine A [ states [ A ]; events [ A ]; starting on A; transitions [ from A to A on event A if (A.A && !A.A) execute eke; else execute asdf; ]; ];