Communicating Stream X-Machines Systems are no more than X-Machines
Communicating Stream X-Machines Systems are no more than X-Machines
复制标题
通信流 X-Machines 系统只不过是 X-Machines
DOI：
10.3217/jucs-005-09-0494
复制
发表时间：
1999
期刊：
影响因子：
--
通讯作者：
C. Vertan
中科院分区：
文献类型：
--
作者：
T. Balanescu;A. J. Cowling;Horia Georgescu;M. Gheorghe;M. Holcombe;C. Vertan
提出了通信流 X-machine 模型的一个版本，它给出了将数据从一台 X-machine 传输到另一台 X-machine 的操作的精确表示。对于该模型，表明通信 X 机器的系统具有与单流 X 机器相同的计算能力。这使得用于导出流X机器的测试策略的现有方法能够扩展到通信流X机器。类别：D.2.5、F.1.2、F.3.1
A version of the communicating stream X-machine model is proposed, which gives a precise representation of the operation of transferring data from one X-machine to another. For this model it is shown that systems of communicating Xmachines have the same computational power as single stream X-machines. This enable existing methods for deriving test strategies for stream X-machines to be extended to communicating stream X-machines. Category: D.2.5, F.1.2, F.3.1