No label defined (Q5287508)
From MaRDI portal
scientific article; zbMATH DE number 233974
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 233974 |
Statements
8 July 1993
0 references
equational logic of fixed point semantics
0 references
categorical logic of programming structures
0 references
fixed points of endofunctors
0 references
synchronization trees
0 references
Floyd-Hoare logic
0 references
flowchart behaviors
0 references
iteration theories
0 references
2- categories
0 references
iteration algebras
0 references
continuous theories
0 references
parallelism semantics
0 references
partial correctness logic
0 references
flowchart programs
0 references
