Bisimulation for Lattice-valued Transition Systems.

Haiyu Pan Min Zhang Yixiang Chen

Published in: TASE (2012)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
reactive systems
model checker
artificial intelligence
software engineering