Login / Signup

Relating strong behavioral equivalences for processes with nondeterminism and probabilities.

Marco BernardoRocco De NicolaMichele Loreti
Published in: Theor. Comput. Sci. (2014)
Keyphrases
  • connected components
  • high level
  • probability distribution
  • situation calculus
  • database
  • databases
  • genetic algorithm
  • computational models
  • human behavior
  • probability theory