Login / Signup

Exposing Latent Mutual Exclusion by Work Automata.

Kasper DokterFarhad Arbab
Published in: TTCS (2017)
Keyphrases
  • mutual exclusion
  • long distance
  • temporal planning
  • latent variables
  • cellular automata
  • finite state
  • finite automata
  • probabilistic automata
  • lattice gas
  • tree automata
  • probabilistic model
  • finite state machines