Bisimulations Up-to: Beyond First-Order Transition Systems.

Jean-Marie Madiot Damien Pous Davide Sangiorgi

Published in: CONCUR (2014)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
first order logic
higher order
reactive systems
markov chain
domain specific
dynamic programming
distributed systems