A Deterministic Polynomial-Time Protocol for Synchronizing From Deletions.

S. M. Sadegh Tabatabaei Yazdi Lara Dolecek

Published in: IEEE Trans. Inf. Theory (2014)

Keyphrases

lightweight
special case
turing machine
deterministic domains
decomposable negation normal form
deterministic automata
worst case
approximation algorithms
authentication protocol
tcp ip
cryptographic protocols
coloured petri nets
formal analysis
finite automata
network protocols
multi party
state space