Login / Signup
CCS Expressions, Finite State Processes, and Three Problems of Equivalence
Paris C. Kanellakis
Scott A. Smolka
Published in:
Inf. Comput. (1990)
Keyphrases
</>
finite state
markov chain
markov decision processes
natural language
computational complexity
hidden markov models
dynamic programming
model checking
stochastic processes
context free