scientific article; zbMATH DE number 6851943

DOI10.4230/LIPIcs.CONCUR.2016.21zbMath1392.68282MaRDI QIDQ4608673

Giovanni Bacci, Radu Mardare, Giorgio Bacci, Kim Guldstrand Larsen

Publication date: 21 March 2018

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Markov chainsaxiomatizationbehavioral distances

Mathematics Subject Classification ID

Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (4)

Complete axiomatization for the total variation distance of Markov chains ⋮ A complete axiomatization of weighted branching bisimulation ⋮ Convex lattice equation systems ⋮ Unnamed Item

This page was built for publication: