Sciweavers

TAMC
2009
Springer

104views Applied Computing» more TAMC 2009»

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

14 years 6 months ago

We show that logical and behavioral equivalence for stochastic Kripke models over general measurable spaces are the same. Usually, this requires some topological assumptions and in...

Ernst-Erich Doberkat

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers