Transmission protocols for instruction streams
Programming Languages
2009-09-02 v1 Distributed, Parallel, and Cluster Computing
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.
Cite
@article{arxiv.0902.2859,
title = {Transmission protocols for instruction streams},
author = {J. A. Bergstra and C. A. Middelburg},
journal= {arXiv preprint arXiv:0902.2859},
year = {2009}
}
Comments
13 pages