指令流传输协议
Transmission protocols for instruction streams
摘要：
在线程代数模型中，线程的行为被认为是由某些执行环境控制的：在线程执行每个动作时，来自其执行环境的回复-将该动作视为要处理的指令-确定线程如何进行。在本文中，我们关注的情况下，执行环境是远程的：我们描述和分析了一些传输协议，从一个线程传递指令到远程执行环境。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
