From the 1 of 4 linked papers with an AI index.
1 paper · 1 filter
Weijun Chen, Yuxi Fu, Huan Long +1
Probabilistic concurrent systems are foundational models for modern mobile computing. In this paper, a unifying approach to probabilistic testing equivalences is proposed. With the…