• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

On the Axiomatisation of Branching Bisimulation Congruence over CCS.

Luca AcetoValentina CastiglioniAnna IngólfsdóttirBas 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