A hierarchy of domains for real-time distributed computing (Q5887512)
From MaRDI portal
scientific article; zbMATH DE number 7673898
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A hierarchy of domains for real-time distributed computing |
scientific article; zbMATH DE number 7673898 |
Statements
A hierarchy of domains for real-time distributed computing (English)
0 references
12 April 2023
0 references
projection mapping
0 references
proof system
0 references
unique fixed point
0 references
communicate sequential process
0 references
denotational semantic
0 references
0 references
