LOTOS公司 swMATH ID: 2961 软件作者： 博洛涅西，T.，布林克斯马，E。 描述： 介绍ISO规范语言LOTOS。LOTOS是一种专门为OSI（开放系统互连）体系结构的形式化描述而开发的规范语言，尽管它通常适用于分布式并发系统。在LOTOS中，系统被视为一组进程，它们相互之间以及与环境之间交互和交换数据。LOTOS有望在1988年成为ISO国际标准。 主页： http://cserg0.site.uottawa.ca/lotos/ 关键词： 通信协议；LOTOS公司；规范语言；分布式系统；通信系统演算；中央控制系统；抽象数据类型；操作语义学；口译译员 相关软件： 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） 按年份列出的引文