Sign in

A case study in formally developing state-based parallel programs - the Dutch National Torus.

Qiwen XuJifeng He
Published in: Refine (1992)
Keyphrases
  • state space
  • united states
  • massively parallel
  • database systems
  • finite state machines
  • database
  • databases
  • real world
  • search engine
  • social networks
  • high level
  • expert systems
  • parallel processing
  • parallel computing