An Extensible Type System for Component-Based Design.

Yuhong Xiong, Edward A. Lee

Browse the full TACAS paper archive.