Expected-Delay-Summing Weak Bisimilarity for Markov Automata.

Alessandro Aldini Marco Bernardo

Published in: QAPL (2015)

Keyphrases

markov chain
probabilistic automata
markov model
databases
multiscale
cellular automata
real time
information systems
website
probability distribution
response time
steady state
finite automata
tree automata
finite state automata