The demonic product of two probabilistic relations is defined and
investigated. It is shown that the product is stable under
bisimulations when the mediating object is probabilistic, and that
under some mild conditions the non-deterministic fringe of the
probabilistic relations behaves properly: the fringe of the product
equals the demonic product of the fringes.
Keywords: Probabilistic relations, bisimulation, demonic product,
concurrency.
