Formal Semantics of Predictable Pipelines: a Comparative Study.

Mathieu Jan, Mihail Asavoae, Martin Schoeberl, Edward A. Lee

Browse the full ASPDAC paper archive.