Rooted Divergence-Preserving Branching Bisimilarity is a Congruence.

Rob van Glabbeek Bas Luttik Linda Spaninks

Published in: Log. Methods Comput. Sci. (2020)

Keyphrases

branch and bound
socio technical
high level
search tree
relative entropy
image processing
case study
database systems