C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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