数据链路连接器 swMATH ID: 19394 软件作者： 哈格斯·埃夫拉德 描述： DLC-分布式LNT编译器。DLC是一种编译器，它根据并发系统的正式规范生成分布式实现。输入中给出的形式规范用LNT语言表示，该语言配备了CADP工具箱，可以进行形式验证，例如模型检查。LNT规范是由非确定性过程的并行组合组成的，这些过程通过多路交会进行交互，多路交会是从过程代数继承来的强大的交互原语。DLC产生了一种由多个可执行文件组成的分布式实现，这些可执行文件可以部署在通过网络连接的可能不同的机器上。为了处理远程进程之间的多路会合，运行时基于已正式验证的优化同步协议。 主页： http://hevrard.org/DLC/ 相关软件： MCGP公司；XTL公司；LNT2LOTOS公司；联合；Exp.未结；里奥；CADP公司；自旋蛋白；LOTOS公司；M-树；BISIMULATOR（双模拟）；时间；SCADE公司；找不同 引用于： 2文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 从异步进程的形式化模型自动生成分布式代码，这些进程通过多路汇聚进行交互。 Zbl 1362.68038号埃夫拉德，雨果；弗雷德里克·朗 2017 全部的 前5名6位作者引用 1 埃夫拉德，雨果 1 美克·哈特泽尔 1 弗雷德里克·朗 1 乌韦·内斯特曼 1 柯斯汀·彼得斯 1 克里斯托夫·瓦格纳。 连载1篇 1 程序设计中的逻辑和代数方法杂志 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文