Weak bisimulation metrics in models with nondeterminism and continuous state spaces
From MaRDI portal
Publication:1623141
DOI10.1007/978-3-030-02508-3_16MaRDI QIDQ1623141
Publication date: 23 November 2018
Full work available at URL: https://doi.org/10.1007/978-3-030-02508-3_16
68Qxx: Theory of computing
Related Items
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces, The metric linear-time branching-time spectrum on nondeterministic probabilistic processes, Logical characterization of branching metrics for nondeterministic probabilistic transition systems