The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\) (Q1318721)
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: The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\) |
scientific article; zbMATH DE number 540870
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\) |
scientific article; zbMATH DE number 540870 |
Statements
The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\) (English)
0 references
5 April 1994
0 references
compositional semantics
0 references
interleaving semantics
0 references
semantics for CSP
0 references
complete partial orders
0 references
repetitive constructs
0 references
semantic domains
0 references
complete metric spaces
0 references
cms-semantics
0 references
0 references
0.8799046
0 references
0 references
0 references
0.8402146
0 references
0.83827186
0 references
