A complete axiomatization of weighted branching bisimulation
Sign Up to like & getrecommendations! Published in 2020 at "Acta Informatica"
DOI: 10.1007/s00236-020-00375-6
Abstract: We propose an axiomatization for weighted branching bisimulation over a weighted process algebra with positive rational weights including zero and show that this axiomatization is both sound and complete. Our proof of soundness and completeness… read more here.
Keywords: branching bisimulation; weighted branching; complete axiomatization; axiomatization weighted ... See more keywords