Correctness of dataflow and systolic algorithms using algebras of streams (Q5950718)
From MaRDI portal
scientific article; zbMATH DE number 1682149
Language | Label | Description | Also known as |
---|---|---|---|
English | Correctness of dataflow and systolic algorithms using algebras of streams |
scientific article; zbMATH DE number 1682149 |
Statements
Correctness of dataflow and systolic algorithms using algebras of streams (English)
0 references
13 December 2001
0 references
specification
0 references
verification of hardware algorithms
0 references
second-order equational logic
0 references