Universal Coalgebra and Categories of Transition Systems.

Published in: Math. Syst. Theory (1970)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
control flow
practical reasoning
finite state
reactive systems
model checker
software systems
petri net
first order logic
domain independent
utility function
information flow
formal specification