Login / Signup
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence for Guarded CCS.
Quan Sun
David N. Jansen
Xinxin Liu
Wei Zhang
Published in:
Formal Aspects Comput. (2023)
Keyphrases
</>
branch and bound
query answering
genetic algorithm
data management
fixed point
relative entropy
machine learning
case study
multi agent
expert systems
search space
data model
probability distribution
kullback leibler