Probabilistic Bisimulation: Naturally on Distributions

From MaRDI portal
Publication:3190122