Relating Denotational and Operational Semantics for Programming Languages with Recursion and Concurrency

摘要

The authors present a uniform method of relating denotational and operational semantics for languages with recursion and concurrency. This technique employs an intermediate semantics, that is similar to the opertional semantics, but that can be compared to the denotational semantics at the level of approximations. The method is illustrated by considering a very simple programming language containing recursion, sequential and nondeterministic composition, together with a basic form of parallelism.