Continuous Stochastic Logic Characterizes Bisimulation of Continuous-time Markov Processes (2002)

Cached

Download Links

by Josée Desharnais , Prakash Panangaden
Venue:J. of Logic and Alg. Progr
Citations:15 - 3 self

Document Versions

Continuous Stochastic Logic Characterizes Bisimulation of Continuous-time Markov Processes –Josée Desharnais, Prakash Panangaden — 2002 — J. of Logic and Alg. Progr
Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes –Josée Desharnais, Université Laval, Prakash Panangaden — 2003 — J. of Logic and Alg. Progr