The Measurable Space of Stochastic Processes

DOI10.3233/FI-2014-1019zbMath1437.68129OpenAlexW2096093673MaRDI QIDQ5415286

Luca Cardelli, Radu Mardare

Publication date: 12 May 2014

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2014-1019

zbMATH Keywords

Markov processesstructural operational semanticsstochastic process algebras

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Markov processes (60J99) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (2)

Modular Markovian Logic ⋮ Bisimulation on Markov Processes over Arbitrary Measurable Spaces

This page was built for publication: The Measurable Space of Stochastic Processes