Login / Signup
A complete axiomatization of weighted branching bisimulation.
Mathias Claus Jensen
Kim Guldstrand Larsen
Published in:
Acta Informatica (2020)
Keyphrases
</>
complete axiomatization
search tree
inclusion dependencies
weighted sum