塞尔夫 swMATH ID: 22718 软件作者： Schack Nielsen，安德斯；卡斯滕·舒尔曼 描述： Celf–演绎和并发系统的逻辑框架。（系统描述）。CLF（Concurrent LF）是一个逻辑框架，用于从编程语言理论、安全协议分析、进程代数和逻辑等领域指定和实现演绎和并发系统。Celf是CLF类型理论的一个实现，它通过线性类型扩展了LF类型理论，以支持状态表示，并通过单子来支持并发表示。它依赖于用于规范和解释CLF签名的judgets-as-types方法，作为用于实验的并发逻辑程序。Celf是用标准ML编写的，可以与MLton、MLKit和SML/NJ进行编译。源代码和示例集合可从url获得{网址：http://www.twelf.org/摄氏}度。 主页： https://rd.springer.com/chapter/10.1007%2F978-3-540-71070-7_28 相关软件： TALx86;林肯;洛利;混合的;PLT兑换;镊子;哈斯克尔;白鲸;快速小鸡;伊莎贝尔/霍尔;快速检查;大锤;立方agda;立方体;Twelf公司 引用于： 4文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 Celf–演绎和并发系统的逻辑框架。（系统描述）。 Zbl 1165.68413号安德斯·沙克·尼尔森;卡斯滕·舒尔曼 2008 全部的 前5名9位作者引用 1 Furio Honsell 1 路易吉·利科里 1 彼得·马克西莫维奇 1 马可·曼托瓦尼 1 伊万·斯卡格内托 1 安德斯·沙克·尼尔森 1 卡斯滕·舒尔曼 1 尼科洛·维尔特里 1 安德烈亚·维佐西 引用于2个系列 1 MSCS公司。计算机科学中的数学结构 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 4 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的引文