Parallel simulation in rewriting logic: some observations.

Karim Djemame Mohamed Bettaz

Published in: PDP (1998)

Keyphrases

asynchronous cellular automata
automated reasoning
parallel processing
parallel implementation
multi valued
data sets
logic programming
shared memory
simulation models
predicate logic
genetic algorithm
simulation study
logical framework
asynchronous circuits