Logical Characterization of Bisimulation for Transition Relations over Probability Distributions with Internal Actions.

Matias David Lee, Erik P. de Vink

Browse the full MFCS paper archive.