威廉·查尔斯·马龙 延迟敏感通信过程设计的理论和工具。 （英语） Zbl 0940.68174号 格罗宁根：Rijksuniv。格罗宁根，第236页（2000年）。 摘要：本论文的目的是为延迟敏感电路的设计者提供数学上的合理支持，并基于已证明的理论提供计算机辅助支持。本论文的结构如下。在第2章中，我们介绍了一种新的跟踪集模型，该模型可用于描述延迟不敏感（DI）通信过程。引入另一个模型的原因是，我们希望为我们的模型选择提供广泛的动机，并使用新类型的论点。此外，将新模型与现有模型联系起来并不难。在第三章中，我们介绍了DI代数，并开始了三个设计案例研究。我们在本论文中开发的工具和理论受到了案例研究中遇到的问题的启发。在第四章中，我们介绍了DI代数的失败集语义。然后，我们继续创建等效的状态转换语义。后者更容易与其他模型关联，也更容易在计算机程序中表示。事实证明，DI代数有一个愉快的问题。有时代数规范比必要的更具确定性。在第五章中，我们介绍了一种握手协议，可以用来缓解第四章中发现的愉快问题。事实证明，这样的协议在工具中实现是非常重要的。我们使用程序推导来实现正确的算法。事实证明，该协议对我们在第3章开始的三个案例研究中的两个很有帮助。在第6章中，我们讨论了测试和XDI模型。我们表明可以部分计算实现的各个部分。然后，我们展示了如何使用实现理论的工具来完成三个案例研究。最后，我们总结了研究结果，并提出了一些进一步研究可能有益的领域。 引用于1文件 MSC公司： 68单位35 信息系统的计算方法（超文本导航、接口、决策支持等） 68-02 与计算机科学有关的研究博览会（专著、调查文章） 关键词：延迟敏感通信过程;DI代数;握手协议 PDF格式BibTeX公司 XML格式引用 \textit{W.C.Mallon}，延迟敏感通信过程设计的理论和工具。格罗宁根：Rijksuniv。格罗宁根（2000；Zbl 0940.68174）