Global Caching for the Alternation-free μ-Calculus.

Daniel Hausmann Lutz Schröder Christoph Egger

Published in: CONCUR (2016)

Keyphrases

data access
prefetching
multidatabase systems
neural network
genetic algorithm
response time
global information