Coroutines and networks of parallel processes
Year: 1976
Type: report
Abstract: The concept of coroutine or process is useful in a large class of applications, usually involving incremental generation or transformation of data. We present a language based on a clear semantics of process interaction, which facilitates well-structured programming of dynamically evolving networks of processes. These networks exhibit the same input /output behavior whether they areexecuted sequentially or in parallel. Sample program proofs are used to illustrate the benefits of the language's simple denotational semantics. The language serves also to clarify the relationshipsbetween coroutines, call-by-need, dynamic data structures, and parallel computation.
Source: HAL
Authors: Gilles Kahn, David MacQueen
Institution: University of Edinburgh
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W1535347731