A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Comparative semantics for linear arrays of communicating processes
[chapter]
1993
Lecture Notes in Computer Science
Operational (O) and denotational (D) semantic models are designed for a language incorporating a version of the UNIX fork and pipe commands. Taking a simple while language as starting point, a number of programming constructs are added which achieve that a program can generate a dynamically evolving linear a rray o f p rocesses connected by channels. Over these channels sequences of values ('streams') are transmitted. Both O and D are de ned as (unique) xed point of a contractive higher order
doi:10.1007/3-540-57182-5_17
fatcat:hce52khtpzb4la2hehpij44zm4