Login / Signup

Transition Systems and Dynamic Semantics.

Tim Fernando
Published in: JELIA (1992)
Keyphrases
  • transition systems
  • control flow
  • model checking
  • temporal logic
  • dynamic environments
  • concurrent systems
  • multi agent
  • software development
  • desirable properties
  • finite state
  • formal semantics
  • practical reasoning