A Software Component Model and Its Preliminary Formalisation (2006)

by Kung-Kiu Lau, Mario Ornaghi, Zheng Wang
Venue:Formal Methods for Components and Objects, volume 4111 of Lecture Notes in Computer Science