Processes and the denotational semantics of concurrency (Q4746777)
From MaRDI portal
scientific article; zbMATH DE number 3802793
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Processes and the denotational semantics of concurrency |
scientific article; zbMATH DE number 3802793 |
Statements
Processes and the denotational semantics of concurrency (English)
0 references
1982
0 references
semantics of concurrency
0 references
processes as elements of process domains
0 references
domain equations
0 references
metric topology
0 references
languages with concurrency
0 references
parallelism
0 references
synchronization
0 references
communication
0 references
