Branching Bisimilarity with Explicit Divergence

Rob J. van Glabbeek Bas Luttik Nikola Trcka

Published in: CoRR (2008)

Keyphrases

branch and bound
real world
trade off
real time
neural network
computer vision
multiresolution
special case
kullback leibler