Behavioral and Logical Equivalence of Stochastic Kripke Models in General Measurable Spaces.

Ernst-Erich Doberkat

Browse the full TAMC paper archive.