A Logic for Non-Deterministic Parallel Abstract State Machines.
Flavio FerrarottiKlaus-Dieter ScheweLoredana TecQing WangPublished in: CoRR (2017)
Keyphrases
- modal logic
- distributed memory
- parallel computation
- real time
- automated reasoning
- parallel hardware
- massively parallel
- parallel implementation
- website
- parallel processing
- logic programming
- parallel computing
- knowledge representation
- expert systems
- probabilistic logic
- genetic algorithm
- classical logic
- set theory
- nonmonotonic logics
- digital circuits
- formal theory
- epistemic logic
- proof theory
- data sets