Denotational semantics of communicating processes based on a language for applicative multiprogramming
type: Item
instance of: scholarly article
title: Denotational semantics of communicating processes based on a language for applicative multiprogramming
zbMATH Open document ID: 0509.68019
DOI: 10.1016/0020-0190(83)90087-X
author: Manfred Broy
published in: Information Processing Letters
publication date: 1983-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N25
zbMATH DE Number: 3804825
zbMATH Keywords: tightly coupled 'synchronous' systems
zbMATH Keywords: nondeterministic stream-processing functions
zbMATH Keywords: communicating sequential processes
MaRDI profile type: Publication
cites work: Transformational semantics for concurrent programs
cites work: Q3657421
cites work: Q3657416
cites work: Communicating sequential processes
cites work: A Theory of Communicating Sequential Processes
cites work: A calculus of communicating systems
description: scientific article; zbMATH DE number 3804825