Bisimulation and Other Undecidable Equivalences for Lossy Channel Systems.

Philippe Schnoebelen

Published in: TACS (2001)

Keyphrases

data sets
multi channel
neural network
information systems
expert systems
data model
computer systems
retrieval systems
data compression