A Theory of Noninterference for the pi-Calculus.

Silvia Crafa Sabina Rossi

Published in: TGC (2005)

Keyphrases

computer algebra
theoretical framework
theoretical basis
artificial intelligence
decision making
decision trees
machine learning
theoretical foundation
decision theory
relational calculus