生产过程的指令序列
Instruction sequences for the production of processes
摘要：
执行中的单遍指令序列被认为产生由某些执行环境控制的行为。在线程代数中考虑的线程模型这样的行为：在线程执行的每个操作时，来自其执行环境的回复决定线程如何进行。线程又可以看作是进程代数中考虑的生产进程。我们表明，通过适当选择的基本指令，所有的进程，只能在一个有限数量的状态可以产生的单通道指令序列。
英文摘要：
Single-pass instruction sequences under execution are considered to produce behaviours to be controlled by some execution environment. Threads as considered in thread algebra model such behaviours: upon each action performed by a thread, a reply from its execution environment determines how the thread proceeds. Threads in turn can be looked upon as producing processes as considered in process algebra. We show that, by apposite choice of basic instructions, all processes that can only be in a finite number of states can be produced by single-pass instruction sequences.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
