A Recipe for State-and-Effect Triangles (Q5275347)
From MaRDI portal
scientific article; zbMATH DE number 6741744
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Recipe for State-and-Effect Triangles |
scientific article; zbMATH DE number 6741744 |
Statements
11 July 2017
0 references
duality
0 references
predicate transformer
0 references
state transformer
0 references
state-and-effect triangle
0 references
A Recipe for State-and-Effect Triangles (English)
0 references
