Possible futures, acceptances, refusals, and communicating processes
Possible futures, acceptances, refusals, and communicating processes
复制标题
可能的未来、接受、拒绝和沟通过程
DOI：
10.1109/sfcs.1981.36
复制
发表时间：
1981
期刊：
影响因子：
--
通讯作者：
S. Brookes
中科院分区：
文献类型：
--
作者：
W. Rounds;S. Brookes
介绍、开发并关联了两种不同的通信过程概念模型。第一个称为可能未来模型，是对熟悉的导数（Nerode 等价类）构造的非确定性系统的推广。第二种称为接受-拒绝模型，是对霍尔、布鲁克斯和罗斯科提出的模型的轻微强化。 PF模型可以同态地映射到AR模型上，并且可以通过在PF模型上施加非常自然的等价关系来表征该映射的等价类。由此产生的商代数承认一个完整的偏序结构，其中代数运算是连续的。
Two distinct models for the notion of communicating processes are introduced, developed and related. The first, called the possible-futures model, is a generalization to nondeterministic systems of the familiar derivative (Nerode equivalence class) construction. The second, called the acceptance-refusals model, is a slight strengthening of a model introduced by Hoare, Brookes, and Roscoe. The PF model can be mapped onto the AR model homomorphically, and the equivalence classes of this map can be characterized by imposing a very natural equivalence relation on the PF model. The resulting quotient algebra admits a complete partial order structure in which the algebraic operations are continuous.