Browsing by Subject "abstract state machine"

Sort by: Order: Results:

  • Sherratt, Edel (2016)
    State machines, originally named 'evolving algebras'[1,2] emerged as a model of computation that built on the concepts embodied in algebraic specifications. Amongst the many applications of abstract state machines, the ...