On the Axiomatisation of Branching Bisimulation Congruence over CCS.

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

Published in: CONCUR (2022)

Keyphrases

branch and bound
modal logic
search tree
functional dependencies
inference rules
lower bound
socio technical
multi agent
data sets
social networks
computer vision
knowledge base
computational complexity
evolutionary algorithm
rough set theory
equivalence relation