AutoFocus Stream Processing for Single-Clocking and Multi-Clocking Semantics

David Trachtenherz. AutoFocus Stream Processing for Single-Clocking and Multi-Clocking Semantics. Archive of Formal Proofs, 2011, 2011. [doi]

Abstract

Abstract is missing.