LOTOS公司 swMATH ID: 2961 软件作者: Bolognesi,T.、Brinksma,E。 描述: 介绍ISO规范语言LOTOS。LOTOS是一种专门为OSI(开放系统互连)体系结构的形式化描述而开发的规范语言,尽管它通常适用于分布式并发系统。在LOTOS中,系统被视为一组进程,它们相互之间以及与环境之间交互和交换数据。LOTOS有望在1988年成为ISO国际标准。 主页: http://cserg0.site.uottawa.ca/lotos/ 关键词: 通信协议;LOTOS公司;规范语言;分布式系统;通信系统演算;CCS系统;抽象数据类型;操作语义学;口译译员 相关软件: CADP公司;自旋蛋白;Uppaal公司;Z轴;LOTOSphere公司;电子LOTOS;PVS公司;马戏团;第二代外国存托凭证;csp2B型;棱镜;GreatSPN公司;M-树;BISIMULATOR(双模拟);克洛诺斯;班德拉;Java PathFinder;莫德;普罗米拉;ProB公司 引用于: 135文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 LOTOS的解释器,LOTOS是分布式系统的规范语言。 Zbl 0646.68028号洛格里波。;Obaid,A。;Briand,J.P。;M.C.费里。 1988 全部的 前5名205位作者引用 8 约翰·德里克 7 Eerke A.Boiten。 7 霍尔格·赫尔曼斯 6 霍华德·鲍曼 6 安蒂·瓦尔马里 5 哈拉尔德·费彻 5 休伯特·加拉维 5 米拉·塞德尔巴姆少校。 5 安东内拉·桑顿 5 范格拉贝克、罗伯特·扬 4 彼得·霍夫纳 4 保拉·因弗拉迪 4 Joost-Pieter卡托恩 4 吴金钊 三 托马索·博洛涅西 三 埃德·布林克斯马 三 尼科莱塔·德·弗朗西斯科 三 克莱门斯·菲舍尔 三 马克·弗拉皮耶 三 罗伯托·戈里埃里 三 雷诺·库基·苏尼奥 三 迭戈·拉特拉 三 戴维·桑吉奥吉 三 温德林·塞维 三 吉利奥拉·瓦格利尼 三 沃尔特·福格勒 2 罗伯托·巴布蒂 2 马可·贝尔纳多 2 牧场克利夫兰 2 苏珊娜·格拉芙 2 Yuh-Jzer Joung 2 Shmuel Katz 2 弗雷德里克·朗 2 金·古德斯特兰·拉森 2 杰拉尔德·吕特根 2 拉杜·马特埃斯库 2 科拉多·普里亚米 2 格温·萨拉恩 2 斯蒂恩,M.W.A。 2 苏,李 2 马尔蒂·蒂纳里 2 海克·卫尔海姆 1 萨宾娜·阿赫塔 1 亚历山德罗·阿尔迪尼 1 拉贝亚·阿穆尔·布利法 1 L.阿普维尔。 1 克里斯特尔·拜尔 1 菲利普·巴纳德 1 纳比尔·贝拉拉 1 伊梅内·本·哈菲德 1 乔纳森·比林顿 1 米歇尔·博雷尔 1 埃米尔·布雷斯 1 Briand,J.P。 1 杰里米·布莱恩斯(Jeremy W.Bryans)。 1 文森扎·卡奇奥洛 1 安娜·R·卡瓦利。 1 乌富克·塞利坎 1 伊米德·埃丁·查马 1 Chane Yack Fa,拉斐尔 1 陈韬略 1 伊曼纽尔·齐亚佩索尼 1 弗拉维奥·科拉迪尼 1 科尔塞蒂,E。 1 尼古拉斯·科斯特 1 Jean-Pierre科蒂亚特 1 Elspeth库萨克 1 佩德罗·鲁宾·达吉尼奥 1 达斯,安妮迪娅·比乔伊 1 de O.Braga,克里斯蒂亚诺 1 皮埃尔·德·萨奎·桑奈斯 1 柯特林·迪马 1 苏珊娜·多纳泰利 1 董一飞 1 克里斯蒂安·艾森特罗 1 贾安娜·埃洛兰塔 1 帕特里克·恩伯格 1 埃夫拉德,雨果 1 亚历山德罗·范特奇 1 M.C.费里。 1 阿兰·芬克尔 1 马塞洛·菲奥雷(Marcelo P.Fiore)。 1 Ira R.福尔曼。 1 贝诺·弗雷金 1 尼西姆·弗朗西兹 1 拉尔斯·弗雷德隆德 1 彼得·弗罗贝尔 1 盖·爱德华·加拉斯 1 吉安诺蒂,福斯卡 1 格内西、斯特凡尼亚 1 鲁道夫·戈麦斯 1 龚萍 1 萨拉·格拉达拉 1 奥尔纳·格伦伯格 1 爱德华·赫尔曼·海尔 1 韩冰 1 轩尼诗,Matthew C.B。 1 卢多维奇·亨利奥 1 迈克·霍尔科姆 1 洪,钟 …还有105位作者 全部的 前5名25篇连载文章中引用 13 计算的形式方面 9 理论计算机科学 8 信息与计算 7 信息学报 7 计算机程序设计科学 5 信息处理信件 5 逻辑与代数程序设计杂志 4 计算机与系统科学杂志 4 系统设计中的形式化方法 4 程序设计中的逻辑和代数方法杂志 三 分布式计算 2 绩效评估 2 MSCS公司。计算机科学中的数学结构 2 计算机网络 2 计算机科学课堂讲稿 1 《计算机杂志》。A部分/B部分 1 软件。实践与经验 1 纯逻辑与应用逻辑年鉴 1 计算机网络和ISDN系统 1 应用的分类结构 1 北欧计算机杂志 1 美国医学会杂志 1 剑桥理论计算机科学丛书 1 计算机科学中的逻辑方法 1 理论计算机科学课文。EATCS系列 全部的 前5名在8个字段中引用 134 计算机科学(68至XX) 9 数理逻辑与基础(03-XX) 三 概率论与随机过程(60-XX) 2 总体主题;集合(00-XX) 2 系统论;控制(93至XX) 1 范畴理论;同调代数(18-XX) 1 量子理论(81-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文