Login / Signup

CCS Expressions, Finite State Processes, and Three Problems of Equivalence

Paris C. KanellakisScott 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