3 citations · 4 across the 4 of their papers we have counts for
3 papers
cs.SE2015
Proceedings 4th International Workshop on Engineering Safety and Security Systems
Jun Pang, Yang Liu, Sjouke Mauw
The present volume contains the proceedings of the Fourth International Workshop on Engineering Safety and Security Systems (ESSS'15). The workshop was held in Oslo, Norway, on Jun…
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…