J. Desharnais and P. Panangaden. Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes, 2001 (submitted for publication). (available at http://www-acaps.cs.mcgill.ca/#prakash/csl.ps). 23 Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Automated Performance and Dependability Evaluation.. - Baier, Haverkort.. (2002) (1 citation) (Correct)
....related if R is a bisimulation. Without going into details, it is possible to compute transient as well as steady state probabilities on the lumped MRM if one is only interested in probabilities of equivalence classes. For a given MRM it is therefore possible to establish the following property [4, 19, 5]: # i# s # # for all CSRL formulas # if and only if s and s # are bisimilar. In other words, CSRL cannot distinguish between lumping equivalent states, but non equivalent states can always be distinguished by some CSRL formula. This looks like a theoretical result, but it also has ....
J. Desharnais and P. Panangaden. Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. Journal of Logic and Algebraic Programming, to appear, 2001.
Weak Bisimulation is Sound and Complete for PCTL - Desharnais, Gupta.. (2002) (2 citations) Self-citation (Desharnais Panangaden) (Correct)
No context found.
Desharnais, J., Panangaden, P.: Continuous stochastic logic characterizes bisimulation for continuous-time markov processes. Available from http://www-acaps.cs.mcgill.ca/prakash/pubs.html (2001)
Weak Bisimulation is Sound and Complete for PCTL - Desharnais, Jagadeesan, al. (2002) (2 citations) Self-citation (Desharnais Panangaden) (Correct)
No context found.
Desharnais, J., Panangaden, P.: Continuous stochastic logic characterizes bisimulation for continuous-time markov processes. Available from http://www-acaps.cs.mcgill.ca/~prakash/pubs.html (2001)
Simulation for Continuous-Time Markov Chains - Baier, Katoen, Hermanns.. (2002) (4 citations) (Correct)
No context found.
J. Desharnais and P. Panangaden. Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes, 2001 (submitted for publication). (available at http://www-acaps.cs.mcgill.ca/#prakash/csl.ps). 23
Model Checking Meets Performance Evaluation - Baier, Haverkort, Hermanns.. (Correct)
No context found.
J. Desharnais and P. Panangaden. Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. J. of Logic and Alg. Progr., 56(1-2): 99--115, 2003.
Automated Performance and Dependability Evaluation.. - Baier, Haverkort.. (2002) (1 citation) (Correct)
No context found.
J. Desharnais and P. Panangaden. Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. Journal of Logic and Algebraic Programming, to appear, 2001.
Model Checking Action- and State-Labelled Markov Chains - Baier, Cloth, Haverkort, al. (2004) (Correct)
No context found.
J. Desharnais and P. Panangaden, "Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes," J. Logic Algebr. Progr., vol. 56, no. 1-2, pp. 99-- 115, 2003.
Simulation for Continuous-Time Markov Chains - Baier, Katoen, Hermanns.. (2002) (4 citations) (Correct)
No context found.
J. Desharnais and P. Panangaden. Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes, 2001 (submitted for publication). (available at http://www-acaps.cs.mcgill.ca/#prakash/csl.ps).
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC