Deadlock and Fairness in Morphisms of Transition Systems.

Wim H. Hesselink

Published in: Theor. Comput. Sci. (1988)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
game theory
reactive systems
first order logic
belief revision
formal specification
model checker
fully observable