Crossmark

A complete axiomatization of weighted branching bisimulation

Crossref DOI link: https://doi.org/10.1007/s00236-020-00375-6

Published Online: 2020-05-06

Published Print: 2020-10

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Jensen, Mathias Claus https://orcid.org/0000-0002-4106-1198
Larsen, Kim Guldstrand
License Information

Text and Data Mining valid from 2020-05-06

Version of Record valid from 2020-05-06
More Information

Article History

Received: 8 May 2019

Accepted: 17 February 2020

First Online: 6 May 2020