On the semantics of Markov automata.

Yuxin Deng Matthew Hennessy

Published in: Inf. Comput. (2013)

Keyphrases

markov chain
logic programming
formal semantics
probabilistic automata
cellular automata
finite state
semantic information
semi markov
neural network
semantic web
regular expressions
conditional independence
finite automata
formal languages
lattice gas