Algebrail properties of stochastic relations

• Applicant: Professor Dr. Ernst-Erich Doberkat
• Subject Area: Theoretical Computer Science
• Term: from 2003 to 2008
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5410563

• Final Report Year: 2008

Final Report Abstract

No abstract available

Publications

• Congruences and bisimulations for continuous-time stochastic logic. In: Dang Van Hung and M. Wirsing, editors, Proc. ICTAC'2005 Theoretical Aspects of Computing, volume 3722 of Lect. Notes Comp. Sci., pages 422 – 436. Springer-Verlag, 2005
  E.-E. Doberkat
  
• Eilenberg-Moore algebras for stochastic relations. Information and Computation, 204:1756 – 1781, 2006
  E.-E. Doberkat
  
• Hyper?nite approximations to labeled Markov transition systems. In: M. Johnson and V. Vene, editors, Proc. AMAST 2006, volume 4019 of Lect. Notes Comp. Sci., pages 127 – 141, Berlin, 2006. Springer-Verlag
  E.-E. Doberkat
  
• Stochastic relations: congruences, bisimulations and the Hennessy-Milner theorem. SIAM J. Computing, 35(3):590 – 626, 2006
  E.-E. Doberkat
  
• Coalgebraic modal logic over analytic spaces. Technical Report 170, Chair for Software Technology, Technical University of Dortmund, Dezember 2007
  Ch. Schubert
  
• Kleisli morphisms and randomized congruences for the Giry monad. J. Pure Appl. Alg., 211:638–664, 2007
  E.-E. Doberkat
  
• Stochastic Relations. Foundations for Markov Transition Systems. Chapman & Hall/CRC Press, Boca Raton, New York, 2007
  E.-E. Doberkat
  
• The Hennessy-Milner equivalence for continuous-times stochastic logic with µ-operator. J. Appl. Logic, 35:519 – 544, 2007
  E.-E. Doberkat
  
• A remark on R. Goldblatt’s deduction system for stochastic coalgebraic logic. Technical report, Chair for Software-Technology, Dortmund University of Technology, June 2008
  E.-E. Doberkat
  
• Bisimilarity of distributionally equivalent markov transition systems. In: Y.-X. Chen et al., editor, Proc. FICS Shanghai, ENTCS, volume 212, pages 41 – 53, June 2008
  E.-E. Doberkat
  
• Weak bisimulations for the Giry monad. In: M. Agrawal et al., editor, Proc. Theor. Appl. Mod. Computation 2008, Xi’an, volume 4978 of LNCS, pages 406–415, April 2008
  E.-E. Doberkat