Categories of Semimodules: The Categorical Structural Properties of Transition Systems.

Yehoshafat Give'on

Published in: Math. Syst. Theory (1967)

Keyphrases

structural properties
transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
tree width
reactive systems
model checker
learning algorithm
case study
np hard