To appear in Formal Aspects of Computing Journal, special issue on “Semantic Foundations of Engineering Design Languages. ” This version: November 10, 2003. A Behavioral Type System and Its Application in Ptolemy II

Cached

Download Links

by Edward A. Lee , Yuhong Xiong