Abstract behavior types: A foundation model for components and their composition (2003)

by F Arbab
Venue:In: de Boer FS, Bonsangue MM, Graf S, de Roever WP, eds. Proc. of the FMCO 2002. LNCS 2852