That PLers, as Lamport writes in his comment on my post, fail to see that Plotkin's SOS is an abstract state machine Is this even true? I don't think I've ever

That PLers, as Lamport writes in his comment on my post, fail to see that Plotkin's SOS is an abstract state machine Is this even true? I don't think I've ever met a PLer who didn't know that an operational semantics describes an abstract machine.