On the Axiomatisation of Branching Bisimulation Congruence over CCS.

Luca Aceto Valentina Castiglioni Anna Ingólfsdóttir Bas Luttik

Published in: CoRR (2022)

Keyphrases

functional dependencies
modal logic
search tree
branch and bound
socio technical
inference rules
data mining
special case
database design
equivalence relation
decision making
knowledge base
conflict free