A Logic for Non-deterministic Parallel Abstract State Machines.

Flavio Ferrarotti Klaus-Dieter Schewe Loredana Tec Qing Wang

Published in: FoIKS (2016)

Keyphrases

parallel processing
parallel programming
parallel hardware
parallel implementation
classical logic
logic programming
parallel computation
artificial intelligence
information systems
shared memory
computer architecture
computational properties
digital circuits
predicate logic
asynchronous circuits