Login / Signup
Analyzing Self-Stabilization with Finite-State Machine Model.
Su-Chu Hsu
Shing-Tsaan Huang
Published in:
ICDCS (1992)
Keyphrases
</>
finite state machines
formal model
cellular automaton
finite state automata
computational model
high level
state machine
databases
social networks
video sequences
multi agent systems
prior knowledge
query processing
parameter estimation
conceptual model