Look: Simple stochastic relations are just, well, simple

Lecture Notes in Computer Science

Volumn 3629, Issue , 2005, Pages 127-141

  Doberkat, Ernst Erich ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; CHARACTERIZATION; COMPUTER SIMULATION;

BISIMULATIONS; ISOMORPHISMS; POLISH; STOCHASTIC REALTIONS;

STOCHASTIC CONTROL SYSTEMS;

EID: 26944442336     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11548133_9     Document Type: Conference Paper

References (13)

1. C. Baier, B. Haverkort, H. Hermanns, and J.-P. Koèrt. Model-checking algorithms for continuous time Markov chains. IEEE Trans. Softw. Eng., 29(6):524-541, June 2003.
2. J. Desharnais, A. Edalat, and P. Panangaden. Bisimulation of labelled Markov-processes. Information and Computation, 179(2):163-193, 2002.
3. E.-E. Doberkat. Semi-pullbacks and bisimulations in categories of stochastic relations. In Proc. ICALP'03, volume 2719 of Lecture Notes in Computer Science, pages 996-1007, Berlin, 2003. Springer-Verlag.
4. E.-E. Doberkat. Factoring stochastic relations. Information Processing Letters, 90(4):161-166, May 2004.
5. E.-E. Doberkat. Look: simple stochastic relations are just, well, simple. Technical Report 152, Chair for Software Technology, University of Dortmund, November 2004.
6. E.-E. Doberkat. Semi-pullbacks for stochastic relations over analytic spaces. Math. Struct. Comp. Sci., 2005. (in print).
7. E.-E. Doberkat. Zeno paths, congruences and bisimulations for continuous-time stochastic logic. Technical Report 155, Chair for Software Technology, University of Dortmund, March 2005.
8. S. Lang. Algebra. Addison-Wesley, Reading, Mass., 1965.
9. J. J. M. M. Rutten. Universal coalgebra: a theory of systems. Theoretical Computer Science, 249(1):3-80, 2000. Special issue on modern algebra and its applications.
10. J. J. M. M. Rutten. Bisimulation in enumerative combinatorics. ENTCS, 65(1):119, October 2002.
11. J. J. M. M. Rutten. Behavioral differential equations: a coinductive calculus of streams, automata and power series. Theor. Comp. Sci., (308):1-53, 2003.
12. S. M. Srivastava. A Course on Borel Sets. Graduate Texts in Mathematics. Springer-Verlag, Berlin, 1998.
13. D. H. Wagner. A survey of measurable selection theorems. SIAM J. Control Optim., 15(5):859-903, August 1977.