On the relationships between Scott domains, synchronization trees, and metric spaces (Q3732940)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the relationships between Scott domains, synchronization trees, and metric spaces |
scientific article |
Statements
On the relationships between Scott domains, synchronization trees, and metric spaces (English)
0 references
1985
0 references
denotational semantics
0 references
complete partial order semantics for concurrency
0 references
cpo continuity
0 references
