Convolution as a Unifying Concept (Q5277916)
From MaRDI portal
scientific article; zbMATH DE number 6744234
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Convolution as a Unifying Concept |
scientific article; zbMATH DE number 6744234 |
Statements
Convolution as a Unifying Concept (English)
0 references
12 July 2017
0 references
concurrency
0 references
Hoare logics
0 references
convolution
0 references
formal power series
0 references
formal semantics
0 references
interval logics
0 references
quantales
0 references
semigroups
0 references
separation logics
0 references
systems verification
0 references
