Up-to Techniques for Branching Bisimilarity.

Rick Erkens Jurriaan Rot Bas Luttik

Published in: CoRR (2020)

Keyphrases

search tree
branch and bound
neural network
data mining
special case
database
database systems
probabilistic model
scheduling problem