Parallelism versus Nondeterminism - On the Semantics of Abstract State Machines.
Wolfram SchultePublished in: Abstract State Machines (2003)
Keyphrases
- formal semantics
- parallel processing
- situation calculus
- logic programming
- computational power
- shared memory
- data flow
- semantic information
- artificial intelligence
- databases
- database
- proof theory
- graphical representation
- massively parallel
- default reasoning
- reasoning tasks
- parallel execution
- conceptual model
- parallel algorithm
- programming language
- search engine
- learning algorithm
- genetic algorithm
- real time