Hyperfinite Approximations to Labeled Markov Transition Systems

DOI10.1007/11784180_12zbMath1236.68192OpenAlexW1776210479MaRDI QIDQ3623930

Ernst-Erich Doberkat

Publication date: 28 April 2009

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11784180_12

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Other applications of nonstandard models (economics, physics, etc.) (03H10)

This page was built for publication: Hyperfinite Approximations to Labeled Markov Transition Systems