J. I. den Hartog and E. P. de Vink, Mixing up nondeterminism and probability: A preliminary report, Electronic Notes in Theoretical Computer Science 22 (1997), URL: http://www.elsevier.nl/locate/entcs/volume22.html.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....such as [7] and [17] that use a process algebra in which probabilistic choice is substituted for nondeterministic choice. Here, and in the next case, the focus is on the probability that the process in question acts like one branch or the other from the choices listed. approaches such as [20, 4, 8] that extend a process algebra by adding probabilistic choice operators. If the branches have distinct initial actions, then the focus is on the probability of the process executing a given action, rather than on the state after a given action is executed. The approach nearest our own is the ....

J. I. den Hartog and E. P. de Vink, Mixing up nondeterminism and probability: A preliminary report, Electronic Notes in Theoretical Computer Science 22 (1997), URL: http://www.elsevier.nl/locate/entcs/volume22.html.

....paper we focussed on the various possible interpretations of the choice operators (local vs. global nondeterminacy and conditional vs. unconditional probability) within a single framework. Here we propose a notion of bisimulation for the process language that applies to all the models given in [12]. On the one hand the presented process equivalence specializes to classical Park Milner bisimulation [22, 20] when considering non probabilistic programs. On the other hand we recover a Larsen Skou type of bisimulation [18] when restricting to the deterministic probabilistic part of the language. ....

....operator as well. The analysis there shows that broom and barbed equivalence are no congruences (at least in their straightforward extensions) In [19] we have found the idea of distinction between nondeterministic and probabilistic nodes, that is typical for the work reported here (see also [12]) In [6] taking the point of view of performance modeling and quantitative analysis (cf. e.g. 13, 7, 17] the parallel operator is studied. The induced nondeterminism, however, is resolved in favour of probability. In the recent work of Andova [1] in the alternating approach and ....

[Article contains additional citation context not shown here]

J.I. den Hartog and E.P. de Vink. Mixing up nondeterminism and probability: A preliminary report. In Proc. Probmiv'98, pages 169--184. University of Birmingham, 1998.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC