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

E. Doberkat
DOI: https://doi.org/10.1007/978-3-642-02017-9_22
2009-05-12
Abstract:
What problem does this paper attempt to address?