Transmission protocols for instruction streams

J. A. Bergstra,C. A. Middelburg
DOI: https://doi.org/10.1007/978-3-642-03466-4_8
2009-02-17
Abstract:Threads as considered in thread algebra model behaviours to be controlled by some execution environment: upon each action performed by a thread, a reply from its execution environment -- which takes the action as an instruction to be processed -- determines how the thread proceeds. In this paper, we are concerned with the case where the execution environment is remote: we describe and analyse some transmission protocols for passing instructions from a thread to a remote execution environment.
Programming Languages,Distributed, Parallel, and Cluster Computing
What problem does this paper attempt to address?