Transmission protocols for instruction streams

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.

13 pages

References in corpus (5)

• Instruction sequences with indirect jumps
• Projection semantics for rigid loops
• Interface groups and financial transfer architectures
• Program algebra with a jump-shift instruction
• Tuplix Calculus Specifications of Financial Transfer Networks

Cited by in corpus (1)

• A protocol for instruction stream processing