Studying Equivalences of Transition Systems with Algebraic Tools.

Pasquale Malacaria

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

Keyphrases

transition systems
concurrent systems
model checking
temporal logic
finite state
control flow
practical reasoning
data model
hidden markov models
sufficient conditions