Program algebra with unit instruction operators (Q1858433)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Program algebra with unit instruction operators |
scientific article |
Statements
Program algebra with unit instruction operators (English)
0 references
13 February 2003
0 references
program algebra
0 references
unit instruction operator
0 references
projection semantics
0 references
