Designing equivalent semantic models for process creation (Q1107305)
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 4064460
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Designing equivalent semantic models for process creation |
scientific article; zbMATH DE number 4064460 |
Statements
Designing equivalent semantic models for process creation (English)
0 references
1988
0 references
This paper presents operational and denotational semantic models for languages with process creation. Systematically, two aspects of those languages are highlighted: (i) uniformity (Are the elementary actions interpreted or not?), and (ii) dynamics (Is there a fixed number of created (parallel) processes or not?), resulting in the study of four basic languages. The operational semantics are based on Hennessy \& Plotkin-style transition systems; the denotational semantics employ metric structures and involve so-called continuations. The paper provides a full analysis of the relationship between the two types of semantics for the four languages considered.
0 references
metric topology
0 references
denotational semantic
0 references
process creation
0 references
operational semantics
0 references
transition systems
0 references
0 references
0.7441973090171814
0 references
0.7393913865089417
0 references
