Transmission protocols for instruction streams

Abstract

Sequential programs under execution produce behaviours to be controlled by some execution environment. Threads as considered in basic thread algebra model such behaviours: Upon each action performed by a thread, a reply from an 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 study some transmission protocols for passing instructions from a thread to a remote execution environment. © 2009 Springer Berlin Heidelberg.