Denotational semantics of CSP (Q801677)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Denotational semantics of CSP |
scientific article |
Statements
Denotational semantics of CSP (English)
0 references
1984
0 references
In this paper we propose a new denotational semantics for CSP. The domains used in the semantics are very simple, compared to those used in other approaches to the semantics of CSP. Moreover, our denotations are more abstract than those of the other approaches.
0 references
concurrency
0 references
communications
0 references
denotational semantics for CSP
0 references
