1,721,035 research outputs found
Probability and Nondeterminism in Operational Models of Concurrency
No full textWegiveabriefoverviewofoperationalmodelsforconcurrent systems that exhibit probabilistic behavior, focussing on the interplay between probability and nondeterminism. Our survey is carried out from the perspective of probabilistic automata, a model originally developed for the analysis of randomized distributed algorithms
Proceedings of Seventh International Conference on the Quantitative Evaluaiton of Systems
No full textAxiomatization of Trace Semantics for Stochastic Nondeterministic Processes
No full textWe 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
Proceedings of the Second Joint Workshop on Process Algebra and Performance Modelling, Probabilistic Methods in Verification
No full text
- …
