A Note on Refinement in Hierarchical Transition Systems.

Gerald Lüttgen

Published in: FMICS (2018)

Keyphrases

transition systems
concurrent systems
model checking
temporal logic
practical reasoning
finite state
control flow
distributed systems
model checker
petri net
data flow