2,282 research outputs found
Characterising Testing Preorders for Finite Probabilistic Processes
In 1992 Wang & Larsen extended the may- and must preorders of De Nicola and
Hennessy to processes featuring probabilistic as well as nondeterministic
choice. They concluded with two problems that have remained open throughout the
years, namely to find complete axiomatisations and alternative
characterisations for these preorders. This paper solves both problems for
finite processes with silent moves. It characterises the may preorder in terms
of simulation, and the must preorder in terms of failure simulation. It also
gives a characterisation of both preorders using a modal logic. Finally it
axiomatises both preorders over a probabilistic version of CSP.Comment: 33 page
Topological conditions for the representation of preorders by continuous utilities
We remove the Hausdorff condition from Levin's theorem on the representation
of preorders by families of continuous utilities. We compare some alternative
topological assumptions in a Levin's type theorem, and show that they are
equivalent to a Polish space assumption.Comment: 10 pages. v2: minor corrections, slight change of titl
- …