Sequential Evolving Algebras

Basic transition rules are defined in subsection 3.1. Subsection 3.2 deals with the problem of extending universes. The reader may skip 3.2 and go directly to subsection 3.3 on programs and runs.

• Basic Transition Rules
  • Update Instructions
    • Semantics
  • Two Rule Constructors
    • The Sequence Constructor
      • Semantics
      • Remark
    • The Conditional Constructor
      • Semantics
  • Guarded Multi-updates
    • Remark
• Importing New Elements
  • Reserve
    • Reserve Proviso
  • Transition Rules: Syntax
    • The Import Constructor
  • Auxiliary Vocabularies
  • Transition Rules: Semantics
    • Discarding Elements from Universes
  • Importing Several Elements at a Time
• Programs and Runs
  • Programs and Pure Runs
  • External Functions
    • Runs
    • Internal and External Locations
    • Irrelevant Values of External Functions