Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem

Article Properties
Cite
Doberkat, Ernst-Erich. “Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem”. SIAM Journal on Computing, vol. 35, no. 3, 2005, pp. 590-26, https://doi.org/10.1137/s009753970444346x.
Doberkat, E.-E. (2005). Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem. SIAM Journal on Computing, 35(3), 590-626. https://doi.org/10.1137/s009753970444346x
Doberkat, Ernst-Erich. “Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem”. SIAM Journal on Computing 35, no. 3 (2005): 590-626. https://doi.org/10.1137/s009753970444346x.
Doberkat EE. Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem. SIAM Journal on Computing. 2005;35(3):590-626.
Journal Categories
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
Technology
Technology (General)
Industrial engineering
Management engineering
Applied mathematics
Quantitative methods
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
Measurable relations Fundamenta Mathematicae
  • Science: Mathematics
 469 1975
10.1016/B978-1-4832-0022-4.50006-5 1967
10.1016/S1567-8326(02)00068-1
Bisimulation for Labelled Markov Processes Information and Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 101 2002
Model checking stochastic automata

 ACM Transactions on Computational Logic
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 7 2003