论文部分内容阅读
本文叙述了利用过程代数在理论上描述计算机设备的特殊应用情况。这些计算机设备是以部件的某种组合形式构成的。这种组合既可并行工作,也可借助相互传送数值方式联合一起工作。在传统过程代数中相互作用是按会合型式实现的。在会合时对称语句从两个同步过程送来:由过程一接受方提出的局限变数与由过程发送方提出的数值结合在一起。在本文中这种只有唯一变数和它的唯一数值参加的二元会合被视为以同步会合方式相互作用的最普遍的情况中的一种特殊情况。