Decidability Analysis of Self-Stabilization for Infinite-State Systems.

Hsu-Chun Yen Lien-Po Yu

Published in: Fundam. Informaticae (2006)

Keyphrases

real time
neural network
distributed systems
knowledge based systems
statistical analysis
databases
multi agent systems
digital libraries
image analysis
description logics
computer systems
learning systems
retrieval systems