Login / Signup

Parallel simulation of communicating finite state machines.

Carl TropperAzzedine Boukerche
Published in: PADS (1993)
Keyphrases
  • finite state machines
  • finite state automata
  • model checking
  • parallel processing
  • digital circuits
  • queuing systems
  • neural network
  • hidden markov models
  • simulation model
  • parallel implementation
  • parallel computers