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

by S Edwards, E Lee
Venue:Science of Computer Programming