Programming Specifications in CAL
暂无分享,去创建一个
[1] Edward A. Lee,et al. Hierarchical finite state machines with multiple concurrency models , 1999, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[2] Edward A. Lee,et al. Overview of the Ptolemy project , 2001 .
[3] Edward Willink,et al. The Waveform Description Language , 2002 .
[4] Edward A. Lee,et al. System-Level Types for Component-Based Design , 2001, EMSOFT.
[5] Johan Eker,et al. An introduction to the Caltrop actor language , 2001 .
[6] Edward A. Lee,et al. A DENOTATIONAL FRAMEWORK FOR COMPARING MODELS OF COMPUTATION , 1997 .