Jiawang Wei
-
The semantics and execution of a synchronous block-diagram language
Science of Computer Programming