Nabil Hameurlain. A Formal Framework for Component Pr otocols Behavioural Compatibility. In 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 6-8 December 2006, Bangalore, India. pages 87-94, IEEE Computer Society, 2006. [doi]
Abstract is missing.