防抱死制动系统 swMATH ID: 21211 软件作者: Johnsen,E.B.、Hähnle,R.、Schäfer,J.、Schlatte,R.和Steffen,M。 描述: ABS:抽象行为规范的核心语言。本文介绍了一种用于设计分布式面向对象系统的可执行模型的抽象行为规范语言ABS。该语言将用于并发对象组的高级并发和同步机制与用于建模数据的函数式语言相结合。ABS使用异步方法调用、封装接口和并发对象内方法激活的协作调度。这种特征组合产生了一个并发的面向对象模型,该模型具有内在的组合性。我们讨论了ABS的中心设计问题,并形式化了Core ABS的类型系统和语义,这是一种具有ABS主要特征的演算。对于Core ABS,我们证明了一个主题约简属性,它表明在执行过程中保持了良好的类型性;特别是,对于类型良好的ABS模型,在运行时不会出现“方法不理解”错误。最后,我们简要讨论了为ABS开发的工具支持。 主页: https://abs-models.org 源代码: https://github.com/abtools/abtools网站 相关软件: J盒;中美合作所;埃尔朗;甲酚;成本核算表;速度;KeY ABS公司;Syco公司;基利姆;快速检查;哈斯克尔;Multilisp公司;斯卡拉;ABCL公司;莫德;伊莎贝尔/HOL;Coq公司;TALx86;轻量级Java;AmbientTalk公司 引用于: 33文件 更多出版物: https://abs-models.org/publications网站/ 全部的 前5名被58位作者引用 10 艾尔维拉·阿尔伯特 5 恩里克·马丁·马汀 4 德波尔(Frank S。 4 萨米尔·根奈姆 4 Owe、Olaf 三 尼古拉斯·贝齐吉安尼斯 三 理查德·布贝尔 三 Din、Crystal Chang 三 安东尼奥·弗洛雷斯·蒙托亚 三 雷纳·哈内尔 三 埃纳尔·布罗赫·约翰森 三 吉列尔莫·罗曼·迪兹 2 埃琳娜·贾奇诺 2 劳尔·古铁雷斯 2 卢多维奇·亨里奥 2 爱德华·坎布里扬 2 科西莫·拉内夫 2 迈克尔·连哈特 2 德国普埃布拉 2 鲁道夫·施拉特 1 拉贝亚·阿穆尔·布利法 1 基万·阿扎德巴赫特 1 马塞洛·玛丽亚·邦桑格 1 马里奥·布雷韦蒂 1 埃利亚斯·卡斯特格林 1 达姆,麦兹 1 约翰·多夫兰 1 埃莱赫·法泽尔德科迪 1 米盖尔·戈梅斯·扎马洛亚 1 菲利普·哈勒 1 米盖尔·伊莎贝尔 1 阿里·阿斯加尔·贾法里 1 卡拉米,法尔扎内 1 O.库兰基纳。 1 伊勒姆·W·库尼亚。 1 安德烈亚斯·伦德布拉德 1 艾瑞克·马德琳 1 查理·麦克道尔 1 希瑟·米勒 1 中田庆子 1 卡尔·帕尔姆斯科格 1 阿恩·施·赫夫特 1 Pun,Ka一。 1 托克塔姆Ramezanifarkhani 1 贾斯汀·罗切斯 1 阿尔伯特·鲁比奥 1 马蒂奥·桑马蒂诺 1 亚历山德拉·席尔瓦 1 塔皮娅·塔里法(Tapia Tarifa)、西尔维娅·利泽斯(Silvia Lizeth) 1 兰登·泰勒 1 拉斯·特维托 1 卡里娜·维莱拉 1 乔尔·沃林 1 内森·瓦瑟 1 Peter Y.H.Wong。 1 托拜厄斯·Wrigstad 1 达米亚诺·扎纳尔迪尼 1 张震 全部的 前5名9连载 11 程序设计中的逻辑和代数方法杂志 2 计算的形式方面 1 理论计算机科学 1 自动推理杂志 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 1 ACM计算逻辑汇刊 1 计算机科学中的逻辑方法 在4个字段中引用 33 计算机科学(68至XX) 2 数理逻辑与基础(03-XX) 1 组合数学(05-XX) 1 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 按年份列出的引文