Lossy Communicating Finite State Machines.

Wuxu Peng Kia Makki

Published in: Telecommun. Syst. (2004)

Keyphrases

finite state machines
model checking
data compression
finite state automata
regular expressions
communication channels
digital circuits
databases
wavelet compression
hidden markov models
lossless compression
lossy compression
lossless coding
database management systems
semi automatic
sharing information