数据链路连接器 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） 按年份列出的引文