Designing equivalent semantic models for process creation (Q1107305)

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.