CoCasl公司 swMATH ID: 13076 软件作者： 莫萨科夫斯基（Till Mossakowski）；马库斯·罗根巴赫（Markus Roggenbach）；卢茨·施罗德 说明： CoCasl在工作——为过程代数建模。CoCasl是最近开发的代数规范语言Casl的联合扩展，它允许根据归纳数据类型和共归纳过程类型对系统进行建模。在这里，我们演示了如何指定进程代数，即CCS[R.Milner，Communication and concurrency.New York etc.：普伦蒂斯·霍尔（1989；Zbl 0683.68008）]和CSP[C.A.R.霍尔，Communicating sequential processes.Englewood Cliffs，New Jersey etc.：普伦蒂斯·哈尔International（1985；Zbl 0637.68007）]，事实证明，CoCasl可以自然地处理进程代数的基本概念：通信的类型系统、进程的语法及其结构操作语义非常适合Casl的代数世界，而CoCasl的其他联合结构涵盖了各种过程等价性（互模拟、弱互模拟、观测同余和迹等价），并提供了完全抽象的语义域。因此，CoCasl成为研究反应系统语义和证明理论的元框架。 主页： http://www.sciencedirect.com/science/article/pii/S1571066104806406 相关软件： CASL公司;莫德;赫茨;CCSL公司;OBJ咖啡馆;中国保监会;伊莎贝尔;伊莎贝尔/HOL;AProVE公司;MTT公司;扩展器;咖喱;HasCasl公司;Coq公司;高超声速;落叶松;回路;哈斯克尔;CSP防护;OBJ3型 引用于： 26文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 CoCasl公司工作中-建模过程代数。 Zbl 1270.68195号蒂尔·莫萨科夫斯基;马库斯·罗根巴赫;卢茨·施罗德 2003 全部的 前5名22位作者引用 11 卢茨·施罗德 7 蒂尔·莫萨科夫斯基 4 马库斯·罗根巴赫 4 格里高·罗什乌 三 丹尼尔·豪斯曼 三 多雷尔·卢卡努 2 马克·艾吉尔 2 Delphine Longuet 2 德克·帕丁森 2 霍斯特·赖切尔 1 毛拉·塞里奥 1 JoséLuiz Fiadeiro 1 格里戈拉什 1 海因氏胶 1 罗尔夫·亨尼克 1 丹尼尔·莱万特（Daniel M.Leivant）。 1 彼得·帕达维茨 1 唐纳德·桑内拉。 1 皮埃尔·伊夫·肖本斯 1 安娜·索科洛娃 1 安杰伊·塔莱基 1 马丁·威尔辛 全部的 前5名8篇连载文章中引用 5 理论计算机科学 三 计算机科学课堂讲稿 2 计算机科学中的逻辑方法 1 MSCS公司。计算机科学中的数学结构 1 逻辑与代数程序设计杂志 1 理论计算机科学电子笔记 1 泛逻辑 1 理论计算机科学专著。EATCS系列 在4个字段中引用 25 计算机科学（68至XX） 9 数学逻辑和基础（03-XX） 4 总体主题；集合（00-XX） 1 范畴理论；同调代数（18-XX） 按年份列出的引文