scientific article; zbMATH DE number 7350769

MaRDI QIDQ4989397

Terraf Pedro Sánchez, Jan K. Pachl

Publication date: 25 May 2021

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

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

zbMATH Keywords

bisimulationRadon measurelabelled Markov processuniversally measurable setsemipullback

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items (1)

THE ZHOU ORDINAL OF LABELLED MARKOV PROCESSES OVER SEPARABLE SPACES

Cites Work

• Unnamed Item
• Unnamed Item
• Unprovability of the logical characterization of bisimulation
• Coalgebraic logic for stochastic right coalgebras
• Bisimulation from open maps
• Bisimulation and cocongruence for probabilistic systems
• Bisimulation for labelled Markov processes
• Semi-pullbacks and bisimulation in categories of Markov processes
• Semi-pullbacks for stochastic relations over analytic spaces
• Remarks on the compactness and non direct products of measures

This page was built for publication: