24 citations · 37 across the 13 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.LO2010
On Probabilistic Alternating Simulations
Chenyi Zhang, Jun Pang
This paper presents simulation-based relations for probabilistic game structures. The first relation is called probabilistic alternating simulation, and the second called probabili…
cs.DC2010★ 3 cited
Asynchronous Bounded Expected Delay Networks
Rena Bakhshi, Jörg Endrullis, Wan Fokkink +1
The commonly used asynchronous bounded delay (ABD) network models assume a fixed bound on message delay. We propose a probabilistic network model, called asynchronous bounded expec…