Probabilistic Event Structures and Domains
Citations
88 citations
Cites background from "Probabilistic Event Structures and ..."
...Nondeterministic strategies can potentially support probability as probabilistic or stochastic event structures [14] to become probabilistic or stochastic strategies....
[...]
42 citations
Cites background from "Probabilistic Event Structures and ..."
...the role of the non-leaking valuations in [4]....
[...]
...We recognize thus in the branching cells of E the cells defined in [4] for confusion-free event structures....
[...]
...This particular result for confusion-free event structures is stated in [4], in the framework of so-called “non-leaking valuations with independence”....
[...]
...In [4], the randomization of event structures is studied from the domain theory point of view, by using continuous valuations defined on the domain of configurations of an event structure....
[...]
35 citations
Cites background from "Probabilistic Event Structures and ..."
...Existing definitions of probabilistic event structures [2], [3] are not general enough to ascribe probabilities to the results of the sometimes partial interaction between strategies....
[...]
...This description of a probabilistic event structure extends the definitions in [3]....
[...]
31 citations
Cites background from "Probabilistic Event Structures and ..."
...There are several ways of extending the work on concurrent games with winning conditions: stochastic behaviour, perhaps with the use of probabilistic event structures [13], so as to define profiles of mixed strategies and Nash equilibria; imperfect information as the key concept for reasoning, more faithfully, about real-life distributed systems; and determinacy results for games with infinite behaviour so that more complex winning conditions can be handled, e....
[...]
24 citations
Cites background or methods from "Probabilistic Event Structures and ..."
...Finally, confusion freeness has been recognised as an important property in the context of probabilistic models [32, 1]....
[...]
...Future works include extending this approach to a probabilistic framework, for instance the probabilistic π-calculus [16], by using a typed version of probabilistic event structures [32]....
[...]
...The above definition was introduced in [32]....
[...]
References
88 citations
42 citations
35 citations
31 citations
13 citations