歧管 swMATH ID: 2900 软件作者: 医学博士Bonsangue。;Arbab,F。;de Bakker,J.W。;Rutten,J.J.M.M。;A.斯库特拉。 描述: 控制驱动协调语言流形的转换系统语义协调语言是一类新的并行编程语言,用于管理并发程序之间的交互。基本上,协调可以通过操纵所有活动进程之间共享的数据值来实现,也可以通过动态演化进程之间的互连来实现,这是对进程状态变化的观察结果。后者也称为控制驱动协调,由歧管支持。我们基于两级转换系统模型,提出了流形核的形式语义:第一级用于指定流形系统中每个单个组件的理想行为,而第二级捕获它们的交互。尽管我们在本文中应用了我们的两级模型来定义面向控制的协调语言的语义,但这种方法对于其他协调模型和语言的形式化研究也很有用。 主页: http://www.cs.ucy.ac.cy/courses/EPL441/manifold/tut.pdf 关键词: 并行计算;协调语言;操作语义学;过渡系统语义;通信模型 相关软件: 琳达;里奥;石灰;科莱姆;Rapide公司;欧兹;STAPL公司;SLMC公司;PROCOL公司;中国保监会;卢斯特;METATEM公司;磁粉探伤;PVM公司;皮科拉;软糖;哈斯克尔;CADP公司;jETI公司;基因科普 引用于: 28文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 控制驱动协调语言MANIFOLD的转换系统语义。 Zbl 0954.68107号M.M.邦桑格。;阿巴布,F。;德巴克尔,J.W。;J.J.M.M.鲁顿。;A.斯库特拉。 2000 全部的 前5名48位作者引用 4 法哈德·阿尔巴 4 马塞洛·玛丽亚·邦桑格 三 安东尼奥·布罗吉 三 吉安路易吉·扎瓦塔罗 2 安德烈亚·克拉克·布拉夏利 2 纳迪亚·布西 2 Jean-Marie雅克 2 伊莎贝尔·林登 2 安德烈亚·奥米西尼 2 亚历山德拉·席尔瓦 2 米尔科·维罗利 1 安纳托利·安尼西莫夫。 1 帕斯卡·博夫里 1 沃尔克·布劳恩 1 詹姆斯·布朗(James C.Browne)。 1 索尼娅·坎帕 1 卡洛斯·卡纳尔 1 马格纳斯卡尔森 1 克拉克、戴夫 1 雅各布斯·W·德·巴克。 1 德波尔,弗兰克·S。 1 De Bosschere,科恩 1 埃里克·P·德文克。 1 鲁克·格罗内韦根(Luuk P.J.Groenewegen)。 1 黄志涛 1 Dennis G.卡弗拉。 1 凯文·凯恩 1 Joost N.角。 1 Kulyabko,P。 1 蒂齐亚娜·玛格丽亚 1 安德鲁·莫兰(Andrew E.Moran)。 1 马尼布拉塔·穆克尔吉 1 乔治·帕帕佐普洛斯。 1 德克·帕丁森 1 亚历山德罗·里奇 1 巴托洛梅·鲁比奥 1 简·J·M·M·鲁顿。 1 大卫·桑兹 1 迈克尔·舒马赫 1 A.斯库特拉。 1 弗朗西塞克·塞雷迪恩斯基 1 伯恩哈德·斯特芬 1 孙丽婷 1 田红霞 1 何塞·玛丽亚·特罗亚 1 佛朗哥·都灵 1 马丁·威尔辛 1 赵玉瑞 全部的 前5名10篇连载文章中引用 6 计算机程序设计科学 三 理论计算机科学 2 逻辑与代数程序设计杂志 1 富兰克林学院学报 1 信息科学 1 并行计算 1 并行与分布式计算杂志 1 MSCS公司。计算机科学中的数学结构 1 控制论与系统分析 1 计算机科学课堂讲稿 在2个字段中引用 27 计算机科学(68至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文