The semantics and execution of a synchronous block-diagram language (2003)

by Stephen A Edwards, Edward A Lee
Venue:Science of Computer Programming