Symbolic protocol analysis for monoidal equational theories.

Stéphanie Delaune Pascal Lafourcade Denis Lugiez Ralf Treinen

Published in: Inf. Comput. (2008)

Keyphrases

equational theories
high level
data analysis
database
neural network
artificial intelligence
search space
wireless sensor networks
object oriented
statistical analysis
symbolic descriptions