Strong Bisimulation

Additive models of probabilistic processes
We propose a new model of probabilistic processes. In this model, a probability is assigned to the action of a prefix and a probability …
引用 DOI URL