A causality interface for deadlock analysis in dataflow.

Ye Zhou, Edward A. Lee

Browse the full EMSOFT paper archive.