Sign in
A case study in formally developing state-based parallel programs - the Dutch National Torus.
Qiwen Xu
Jifeng 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