1 paper
Yuxing Deng, Alwen Tiu
We consider two characterisations of the may and must testing preorders for a probabilistic extension of the finite pi-calculus: one based on notions of probabilistic weak simulati…