Project Details
Projekt Print View

Algebrail properties of stochastic relations

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
 
 

Additional Information

Textvergrößerung und Kontrastanpassung