Stochastic non-determinism and effectivity functions

DOI10.1093/LOGCOM/EXV049zbMath1407.68333arXiv1405.7141OpenAlexW2964115819MaRDI QIDQ2987056

Ernst-Erich Doberkat, Pedro Sánchez Terraf

Publication date: 17 May 2017

Published in: Journal of Logic and Computation (Search for Journal in Brave)

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

zbMATH Keywords

coalgebrastate bisimilaritynon-deterministic labelled Markov processstochastic effectivity function

Mathematics Subject Classification ID

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)

Related Items (3)

Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism ⋮ Unnamed Item ⋮ A stochastic interpretation of game logic

This page was built for publication: Stochastic non-determinism and effectivity functions