A Modal Interface Theory for Component-based Design

Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, BenoƮt Caillaud, Axel Legay, Roberto Passerone. A Modal Interface Theory for Component-based Design. Fundamenta Informaticae, 108(1-2):119-149, 2011. [doi]

Abstract

Abstract is missing.