Interpretation Algorithm

STATEMATE

synchronous vs. asynchronous time schema

step vs. super-step

RHAPSODY, UML

run-to-completion semantics

step vs. micro-step