The measurable space of stochastic processes

DOI10.3233/FI-2014-1019MaRDI QIDQ5415286zbMATH OpenOpenAlexFDO

Authors 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 processesstochastic process algebrasstructural operational semantics

Mathematics Subject Classification ID

Markov processes (60J99) 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)

Recommendations

• Stochastic Pi-calculus Revisited
• Measurable stochastics for Brane calculus
• Structural operational semantics for continuous state stochastic transition systems
• Structural Operational Semantics for Stochastic Process Calculi
• Structural operational semantics for continuous state probabilistic processes

Cited in

(9)

• Measurability problems for empirical processes
• Structural operational semantics for continuous state stochastic transition systems
• Structural operational semantics for continuous state probabilistic processes
• Modular Markovian Logic
• Towards measurable types for dynamical process modeling languages
• scientific article; zbMATH DE number 5150976 (Why is no real title available?)
• Rate-Based Transition Systems for Stochastic Process Calculi
• Bisimulation on Markov processes over arbitrary measurable spaces
• scientific article; zbMATH DE number 5064779 (Why is no real title available?)

This page was built for publication: The measurable space of stochastic processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5415286)