The Kahn principle for networks of synchronous endochronous programs

The Kahn principle for networks of synchronous endochronous programs
复制标题

同步内时程序网络的卡恩原理

DOI：
--
复制
发表时间：
2003
期刊：
影响因子：
--
通讯作者：
D. Potop
D. Potop
中科院分区：
--
文献类型：
--
作者：
D. Potop

文献摘要

被引文献

相似文献

我们的工作领域是异步通信媒体的同步规范的分布式实现。最近的研究已经导致在这里定义的相关概念-内时性和等时性-表征的“可分发”同步程序。我们的主要结果是证明了Kahn原理的网络得到的组成与无界FIFO的确定性内插程序。这意味着这种网络的确定性（作为I/O函数）。
The field of our work is the distributed implementation of synchronous specifications over asynchronous media of communication. Recent research has resulted here in the definition of relevant notions – the endochrony and the isochrony – characterizing the “distributable” synchronous programs. Our main result is the proof of the Kahn principle for networks obtained by composing with unbounded FIFOs deterministic endochronous programs. This implies the determinism (as I/O function) of such networks.