Login / Signup

Proving convergence of self-stabilizing systems using first-order rewriting and regular languages.

Joffroy BeauquierBéatrice BérardLaurent FribourgFrédéric Magniette
Published in: Distributed Comput. (2001)
Keyphrases
  • context free languages
  • decision trees
  • relational databases
  • dynamic programming
  • knowledge based systems