The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism

DOI10.1007/978-3-030-32505-3_3zbMath1464.68262OpenAlexW2981778442MaRDI QIDQ5919286

Arpit Sharma

Publication date: 12 December 2019

Published in: Theoretical Aspects of Computing – ICTAC 2019 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-32505-3_3

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (1)

The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism

This page was built for publication: The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism