埃尔朗 swMATH ID: 7202 软件作者: erlang.org网站 描述: Erlang是一种编程语言,用于构建具有高可用性要求的大规模可伸缩软实时系统。它的一些用途是电信、银行、电子商务、计算机电话和即时通讯。Erlang的运行时系统内置了对并发、分布和容错的支持 主页: 网址:http://www.erlang.org/ 相关软件: 哈斯克尔;J盒;快速检查;莫德;防抱死制动系统;考德;琳达;电动汽车;Coq公司;轻量级Java;伊甸园;毫升;HiPE公司;皮克特;斯卡拉;麦克尔朗;AmbientTalk公司;基利姆;重构错误;西尔克 引用于: 112文件 标准条款 2出版物描述软件,包括2出版物在zbMATH中 年份 Erlang编程。 Zbl 1177.68039号弗朗西斯科·塞萨里尼;西蒙·汤普森 2009 ERLANG中的并发编程。 Zbl 0829.68014号阿姆斯特朗,乔;罗伯特·维丁;迈克·威廉姆斯 1993 全部的 前5名226位作者引用 7 德国维达尔 5 艺术,托马斯 4 艾尔维拉·阿尔伯特 4 克拉拉·贝纳克·厄尔 4 埃纳尔·布罗赫·约翰森 4 罗兰·基拉利 4 诺尔,托马斯 4 阿德里安·帕拉西奥斯。 4 康斯坦蒂诺斯·萨戈纳斯 三 阿姆斯特朗,乔 三 拉尔斯·弗雷德隆德 三 Victor M.古利亚斯。 三 弗兰克,哈 三 罗伯特·基特雷 三 塔马斯·科兹克 三 丽塔·勒根 三 恩里克·马丁·马汀 三 直纪西田 三 Owe、Olaf 三 鲁道夫·施拉特 三 汉斯·斯文森 三 萨尔瓦多塔马利特 2 罗伯特·阿马迪奥(Roberto M.Amadio)。 2 米盖尔·巴雷罗 2 劳拉·博奇 2 布希,科斯塔斯 2 弗朗西斯科·塞萨里尼 2 Bogdan Stanislaw Chlebus公司 2 科恩·克莱森 2 Fluet,Matthew T。 2 阿德里安·弗兰卡兰扎 2 菲利普·哈勒 2 莫里斯·赫利希。 2 托马斯·霍斯特迈尔 2 佐尔坦·霍瓦思 2 Lanese,伊万 2 洛佩斯·弗拉瓜斯,弗朗西斯科·哈维尔 2 拉兹洛·洛维 2 黑山,曼努埃尔 2 安卡·穆斯科尔 2 米罗斯拉夫·波波维奇 2 帕文·波德尔 2 胡安·桑切斯。 2 戈卡纳·沙尔马 2 席尔瓦,约瑟夫 2 塔皮娅·塔里法(Tapia Tarifa)、西尔维娅·利泽斯(Silvia Lizeth) 2 西蒙·汤普森。 2 罗伯特·维丁 2 杰斯珀·威廉姆森 2 迈克·威廉姆斯 1 卡洛斯·阿巴尔德 1 帕罗什·阿齐兹·阿卜杜拉 1 阿加,古尔·A。 1 叶希亚·阿卜杜·阿勒拉赫曼 1 安努布里亚·安科勒卡尔 1 阿罗尼斯·斯塔夫罗斯 1 马西莫·巴托莱蒂 1 亚历山大·鲍姆加特纳 1 雷梅尔·贝伦兹 1 佩特尔·贝雷茨基 1 乔斯特·贝托尔德 1 尼古拉斯·贝齐吉安尼斯 1 碧、轩 1 加文·M·比尔曼。 1 安德鲁·菲利普·布莱克 1 乔根·布兰特 1 马里奥·布拉维蒂 1 劳伦斯·皮特·布朗 1 杰雷米·别森 1 拉斐尔·E·卡巴列罗。 1 萨拉·卡佩基 1 理查德·卡尔森 1 沃尔特·卡佐拉 1 庄成恩 1 阿尔贝托·齐法格利翁 1 克拉克、戴夫 1 威廉·库克。 1 马里奥·科普 1 佐尔坦·舍尔尼 1 法比安·达格纳特 1 达尔·齐利奥(Dal Zilio,Silvano) 1 达姆,麦兹 1 德波尔(Frank S。 1 沃尔夫冈·德梅特 1 洛科·德尼古拉 1 邓晓杰 1 邓雨欣 1 约翰·德里克 1 盖尔盖·德瓦伊 1 马里亚纽拉州Dezani-Ciancaglini 1 彼得罗·迪·贾南托尼奥 1 辛齐亚·迪·朱斯托 1 迪特尔,M。 1 唐纳利,Kevin P。 1 塞萨拉·德拉戈伊 1 索菲亚·克洛伊·德罗索波卢 1 瑞希德·埃哈希德 1 雅各布·埃文斯 1 乔瓦尼·法布雷蒂 1 阿尔瓦罗·费尔南德斯·迪亚斯 …还有126位作者 全部的 前5名引用于23个系列 12 程序设计中的逻辑和代数方法杂志 8 函数编程杂志 7 理论计算机科学 4 计算机科学中的逻辑方法 三 计算机程序设计科学 2 自动推理杂志 2 计算机科学课堂讲稿 2 数学与信息年鉴 1 信息学报 1 计算 1 布达佩斯科学大学年鉴(Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös提名)。计算机科 1 符号计算杂志 1 信息与计算 1 计算的形式方面 1 并行与分布式计算杂志 1 分布式计算 1 工程、通信和计算中的应用代数 1 系统设计中的形式化方法 1 高阶和符号计算 1 逻辑程序设计理论与实践 1 Logique et d’epistémologie餐厅 1 查普曼和霍尔/CRC计算科学系列 1 Berichte aus der Informatik公司 全部的 前5名在6个字段中引用 111 计算机科学(68-XX) 8 数学逻辑和基础(03-XX) 三 总体主题;集合(00-XX) 2 量子理论(81-XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的引文