Static Algebras and Updates

• Static Algebras: Motivation
• Vocabularies
  • Logic Names
• Definition of Static Algebras
  • Universes
• Terms
  • Appropriate States and the Fun Notation
• Locations and Updates
• Update Sets and Families of Update Sets
  • Remark
• Conservative Determinism vs. Local Nondeterminism