A Formal Framework for Component Pr otocols Behavioural Compatibility.

Nabil Hameurlain

Published in: APSEC (2006)

Keyphrases

theoretical framework
conceptual framework
probabilistic model
lightweight
main contribution
framework enables
artificial intelligence
key features
mathematical theory