Branching Bisimilarity with Explicit Divergence.

Rob J. van Glabbeek Bas Luttik Nikola Trcka

Published in: Fundam. Informaticae (2009)

Keyphrases

branch and bound
kullback leibler
databases
search engine
search tree
genetic algorithm
case study
multiscale
data structure
learning environment
trade off