Basic Transition Rules

In this subsection, terms are ground.

• Update Instructions
  • Semantics
• Two Rule Constructors
  • The Sequence Constructor
    • Semantics
    • Remark
  • The Conditional Constructor
    • Semantics
• Guarded Multi-updates
  • Remark