scientific article; zbMATH DE number 6744390

DOI10.23638/LMCS-13(2:13)2017zbMath1398.68375arXiv1702.08306MaRDI QIDQ5278079

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

Publication date: 13 July 2017

Full work available at URL: https://arxiv.org/abs/1702.08306

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

zbMATH Keywords

Markov chainscontinuous-time Markov chainsprobabilistic systemson-the-fly algorithmbehavioral distances

Mathematics Subject Classification ID

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

Related Items (2)

Fixpoint Theory -- Upside Down ⋮ Fixpoint theory -- upside down

This page was built for publication: