A unifying logic for non-deterministic, parallel and concurrent abstract state machines.
Flavio FerrarottiKlaus-Dieter ScheweLoredana TecQing WangPublished in: Ann. Math. Artif. Intell. (2018)
Keyphrases
- parallel programming
- modal logic
- parallel implementation
- shared memory
- genetic algorithm
- asynchronous circuits
- distributed memory
- massively parallel
- neural network
- black box
- automated reasoning
- parallel processing
- computational properties
- artificial intelligence
- defeasible logic
- formal theory
- distributed memory machines