1985•ACM Transactions on Programming Languages and SystemsOpen access

The denotational semantics of dynamic networks of processes

Arie de Bruin, W. Böhm

Abstract

DNP (dynamic networks of processes) is a variant of the language introduced by Kahn and MacQueen [11, 12]. In the language it is possible to create new processes dynamically. We present a complete, formal denotational semantics for the language, along the lines sketched by Kahn and MacQueen. An informal explanation of the formal semantics is also given.

Open-access reader

About this research paper

What this paper is about

Why it matters

OpenAlex reports 14 citations for this work. Citation counts describe recorded attention and do not establish research quality.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

Key concepts: Denotational semantics, Computer science, Normalisation by evaluation, Denotational semantics of the Actor model, Operational semantics, Semantics (computer science), Formal semantics (linguistics), Programming language