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 the normal view instead:
scientific article; zbMATH DE number 3880089
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Denotational semantics of CSP |
scientific article; zbMATH DE number 3880089 |
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
0.9230548
0 references
0.9007362
0 references
0.8800293
0 references
0 references
0.8738223
0 references
0 references
