We characterize simple stochastic relations through different forms of bisimulations for the case that the underlying spaces are Polish, and analytic, ...

Abstract. Simple systems cannot decomposed further. Algebraically, simple systems have only isomorphisms as epis. We characterize simple stochastic ...

May 31, 2004 · This paper has a look at the systems that arise when the stochastic model is factored through the congruence. Congruences may refine each other, ...

To formalize, measure, and predict availability properties, stochastic concepts are required. Reconfiguration and communication in mobile and distributed ...

To combine these two views, in this paper we introduce stochastic graph transformation systems associating with each rule its application rate – the rate of the ...

Look: Simple stochastic relations are just, well, simple. J. Fiadeiro, J. Rutten (Eds.), Proc. CALCO, Lect. Notes Comp. Sci., vol. 3629 (2005), pp. 128-142.

It is shown that stochastic relations are bisimilar provided they have congruences that generate each other; from this is derived that relations that have ...

Look: Simple Stochastic Relations Are Just, Well, Simple · E. Doberkat ... This work provides a complete characterization of simple stochastic relations ...

We propose a probabilistic interpretation of this logic that is based on stochastic relations without making specific assumptions on the underlying distribution ...