Context-Sensitive Equivalences for Non-interference Based Protocol Analysis.

Michele Bugliesi Ambra Ceccato Sabina Rossi

Published in: FCT (2003)

Keyphrases

context sensitive
language model
data mining
information retrieval
data analysis
graph grammars
multiple task learning