A Formal Framework for Component Pr otocols Behavioural Compatibility.

Nabil Hameurlain

Browse the full APSEC paper archive.