scientific article; zbMATH DE number 7350769

MaRDI QIDQ4989397FDO

Authors Terraf Pedro Sánchez, Jan Pachl

Publication date 25 May 2021

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

zbMATH Keywords

Radon measurebisimulationlabelled Markov processuniversally measurable setsemipullback

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1487749
• scientific article; zbMATH DE number 4169818
• Toward a theory of random semi-Markov processes
• Semi-Dirichlet forms and Markov processes
• From Markov processes to semimartingales
• Markov processes associated with semi-Dirichlet forms
• Continuous Semi-Markov Processes and Their Applications
• scientific article; zbMATH DE number 3291765
• On discrete-time semi-Markov processes
• scientific article; zbMATH DE number 3947361

Cites work

• scientific article; zbMATH DE number 1713116 (Why is no real title available?)
• scientific article; zbMATH DE number 3137662 (Why is no real title available?)
• Bisimulation and cocongruence for probabilistic systems
• Bisimulation for labelled Markov processes
• Bisimulation from open maps
• Coalgebraic logic for stochastic right coalgebras
• Remarks on the compactness and non direct products of measures
• Semi-pullbacks and bisimulation in categories of Markov processes
• Semi-pullbacks for stochastic relations over analytic spaces
• Unprovability of the logical characterization of bisimulation

Cited in

(2)

• THE ZHOU ORDINAL OF LABELLED MARKOV PROCESSES OVER SEPARABLE SPACES
• Semipullbacks of labelled Markov processes

This page was built for publication:

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