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