Sémantique

• J Strother Moore (U Texas)
• TLA
  Temporal Logic of Actions (L. Lamport)

  Abstract State Machines ("Evolving Algebras")

  • Gurevich
  • Egon Börgner (Pisa)
  • Michigan

  resources related to semantics

  Kansas (Schmidt)

  Natural Semantics: Richard Smaby (Clarion University)