The notion of abstract state machines may be useful for a formalization of operational equivalence of computations.
The notion of abstract state machines may be useful for a formalization of operational equivalence of computations.