Deng, YuxinTiu, Alwen2015-12-100934-5043http://hdl.handle.net/1885/65851We consider two characterisations of the may and must testing preorders for a probabilistic extension of the finite η-calculus: one based on notions of probabilistic weak simulations, and the other on a probabilistic extension of a fragment of Milner-ParKeywords: Bisimulations; Characteristic formula; Characteristic test; Modal logic; Non-probabilistic; Preorders; Probabilistic extension; Probabilistic process; Scoping; Simulation relation; Testing equivalence; Testing semantics; Biomineralization; Calculations; S Bisimulation; Modal logic; Probabilistic f-calculus; Testing semanticsCharacterisations of testing preorders for a finite probabilistic φ-calculus201210.1007/s00165-012-0238-32016-02-24