里奥 swMATH ID: 6353 软件作者: 马特杰·杜尼克 说明: Reo协调语言。Reo提出了一种基于移动通道概念的分布式软件组件和服务组合范式。Reo实施了一个基于通道的外部协调模型,该模型定义了设计者如何从简单的协调器中构建复杂的协调器(称为连接器)。应用程序设计者可以将Reo用作连接器的组合构造的“粘合代码”语言,以协调基于组件的系统或面向服务的应用程序中组件或服务实例的协作行为。 主页: http://reo.project.cwi.nl/reo/ 关键词: 协调语言 相关软件: 琳达;莫德;mCRL2型;酯类;托勒密;卢斯特;CADP公司;棱镜;科莱姆;联合;找不同;第二代外国存托凭证;大都市;再服务;帕戈达;歧管;重新规范;汪汪叫;github;存档正式证据 引用于: 94文件 更多出版物: http://reo.project.cwi.nl/reo/wiki/Publications网站 标准条款 2出版物描述软件,包括2出版物以zbMATH为单位 年份 Reo的三十种语义形式概述。 Zbl 1424.68105号琼曼,宋世泰。;法哈德·阿尔巴 2012 Reo:用于组件组合的基于通道的协调模型。 Zbl 1085.68552号法哈德·阿尔巴 2004 全部的 前5名138位作者引用 25 法哈德·阿尔巴 8 克里斯特尔·拜尔 8 马尔詹·西尔贾尼 7 克拉克、戴夫 6 罗伯托·布鲁尼 5 西蒙·布利兹 5 马塞洛·玛丽亚·邦桑格 5 克吕佩尔霍尔茨,萨沙 5 孙孟 5 乌戈·蒙塔纳里。 5 约瑟夫·西法基斯 4 钟曼,宋世堂。 4 克里斯蒂安·克劳斯 4 伊万·拉内斯 4 亚历山大·拉佐维克 4 鲁滕,简·J·M·M。 4 孙孟 三 马吕斯·博兹加 三 埃里克·P·德文克。 三 Dokter,Kasper公司 三 穆罕默德·伊扎迪。 三 约阿希姆·克莱因 三 纳塔莉亚·科卡什 三 埃尔南·梅尔格拉蒂 三 巴赫曼·普瓦坦 三 若泽·普罗恩萨 三 任尚平 三 卡罗琳·塔尔科特。 2 巴博萨、路易斯·索亚雷斯 2 大卫·布雷索林 2 德波尔(Frank S。 2 侯赛因·霍贾特 2 穆罕默德·贾伯。 2 斯蒂芬妮·坎佩尔 2 本杰明·利昂 2 穆罕默德·萨奇布·纳瓦兹 2 亚历山德拉·席尔瓦 1 卢卡·埃特罗 1 伯恩哈德·艾切尼格(Bernhard K.Aichernig)。 1 苏珊娜·安多瓦 1 佩德罗·安东尼诺 1 阿塞特夫·诺艾,勒克雷米奥拉 1 保罗·C·阿蒂。 1 爱德华·巴拉诺夫 1 马可·安东尼奥·巴博萨 1 马托克斯·贝克曼 1 萨德克本塞勒姆 1 托拜厄斯·布莱希曼 1 杰雷米·博比奥 1 博迪,恰拉 1 博尔祖·博纳克达尔普尔 1 琳达·布罗多 1 曼弗雷德·布罗伊 1 卢卡斯·布埃里 1 玛丽亚·艾米利亚·坎布罗内罗 1 JoséC.T.Campos。 1 索菲亚·卡塞尔 1 贝纳兹·昌吉兹 1 陈念宁 1 菲利普·克尔森 1 亚历克西斯·达拉斯 1 阿娜·克里斯蒂娜·维埃拉·德·梅洛 1 格雷戈里奥·迪亚兹 1 克莱门斯·杜伯斯拉夫 1 哈特穆特·埃里格 1 卡斯滕·埃里格 1 克劳迪娅·埃尔梅尔 1 埃弗拉德,休斯 1 冯慧 1 丹尼尔·拉特·菲格雷多 1 Christina Chrysovalanti Fountoukidou 1 菲利普·福尼尔·维格 1 法比奥·加杜奇 1 杰里米·吉本斯 1 哈布托姆·卡西·吉迪 1 欧根·伊安·戈里亚克 1 克莱门斯·格雷克 1 埃里克·格里洛 1 鲁克·格罗内韦根(Luuk P.J.Groenewegen)。 1 Jan Friso,格鲁特 1 朱安·吉伦·肖尔滕 1 内脏,娜塔莉娅 1 福尔克·豪尔 1 Ingólfsdóttir,安娜 1 拉杜·奥西夫 1 赛义德·贾利利 1 本特·琼森 1 Khakpour、Narges 1 码头Kleijn 1 克里斯蒂安·科勒 1 蒂姆·库特斯(Tim W.D.M.Kouters)。 1 马西耶·库特尼 1 弗雷德里克·朗 1 李爱德华·阿什福德 1 刘艾 1 刘少英 1 布鲁诺·多梅尼西亚诺·洛佩斯 1 马库斯·隆佩 1 赫梅内吉尔达梅西 1 Ziyan Maraikar …还有38位作者 全部的 前5名17篇连载文章中引用 20 计算机程序设计科学 6 计算的形式方面 5 理论计算机科学 5 程序设计中的逻辑和代数方法杂志 三 计算机基础理论 2 信息学报 2 信息与计算 2 计算机科学中的逻辑方法 1 信息处理信件 1 国际并行程序设计杂志 1 MSCS公司。计算机科学中的数学结构 1 分布式计算 1 系统设计中的形式化方法 1 Informatica(卢布尔雅那) 1 逻辑程序设计理论与实践 1 计算机科学科学年鉴 1 应用数学和计算数学 全部的 前5名在6个字段中引用 94 计算机科学(68至XX) 7 数理逻辑与基础(03-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 统计学(62-XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的引文