Refinement for signal flow graphs (Q5111638)
From MaRDI portal
scientific article; zbMATH DE number 7204941
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Refinement for signal flow graphs |
scientific article; zbMATH DE number 7204941 |
Statements
27 May 2020
0 references
signal flow graphs
0 references
refinement
0 references
operational semantics
0 references
string diagrams
0 references
symmetric monoidal inequality theory
0 references
Refinement for signal flow graphs (English)
0 references
