Extending Memory Consistency of Finite Prefixes to Infinite Computations.

Marcelo Glusman Shmuel Katz

Published in: CONCUR (2001)

Keyphrases

finitely representable
finite sets
finite automata
main memory
memory usage
memory size
finite number
genetic algorithm
knowledge base
memory capacity
real time
neural network
computing power
memory space
limited memory
global consistency