Weighted branching systems: behavioural equivalence, behavioural distance, and their logical characterisations

DOI10.1007/978-3-030-00151-3_9OpenAlexW2888590666MaRDI QIDQ1631225

Radu Mardare, Mathias Claus Jensen, Kim Guldstrand Larsen

Publication date: 6 December 2018

Full work available at URL: https://doi.org/10.1007/978-3-030-00151-3_9

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

A complete axiomatization of weighted branching bisimulation

This page was built for publication: Weighted branching systems: behavioural equivalence, behavioural distance, and their logical characterisations