Denotational semantics of CSP (Q801677)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Denotational semantics of CSP |
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
