Comparative branching-time semantics for Markov chains
Information and Computation
Comparative branching-time semantics for Markov chains
Information and Computation
Abstract probabilistic automata
VMCAI'11 Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation
Probability and nondeterminism in operational models of concurrency
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Abstract Probabilistic Automata
Information and Computation
Hi-index | 0.00 |
We give a complete axiomatization of trace distribution precongruence for probabilistic nondeterministic processes based on a process algebra that includes internal behavior and recursion. The axiomatization is given for two different semantics of the process algebra that are consistent with the alternating model of Hansson and the non-alternating model of Segala, respectively. It is shown that the two semantics coincide up to trace distribution precongruence.