马戏团 swMATH ID: 21828 软件作者: Woodcock,J.C.P.,卡瓦尔坎蒂,A.L.C。 描述: 马戏团的语义。Circus是一种用于改进的并发语言;它是命令CSP、Z和精化演算的统一。我们在Hoare&He的统一编程理论中描述了Circus语言及其模型的形式化。 主页: https://link.springer.com/chapter/10.1007/3-540-45648-1_10 相关软件: Z;电源保护;Simulink公司;ZRC公司;罗丹;爪Z;伊莎贝尔/UTP;ArcAngel公司;伊莎贝尔/HOL;第二代外国存托凭证;自旋蛋白;艾菲尔;汉德尔-C;csp2B型;伊莎贝尔/马戏团;Z/EVES公司;ArcAngelC公司;JML公司;火花;状态流 引用于: 79文件 全部的 前5名117位作者引用 34 安娜·卡瓦尔坎蒂 23 詹姆斯·C·P·伍德科克。 11 泽达,弗兰克 6 西蒙福斯特 6 奥古斯托·桑帕约。 5 马塞尔·奥利维拉 4 伊恩·海耶斯。 4 刘志明 3 菲利普·J·布鲁克。 3 罗伯特·J·科尔文。 3 何继峰 3 海克·卫尔海姆 3 魏坤 2 法哈德·阿尔巴 2 塞巴斯蒂安·鲍尔。 2 艾伦·D·伯恩斯。 2 安德鲁·巴特菲尔德 2 菲尔·克莱顿 2 董金松 2 马克·弗拉皮耶 2 玛丽·克劳德·高德尔 2 斯特凡·哈勒斯特德 2 罗尔夫·亨尼克 2 杰里米·雅各布。 2 孙孟 2 亚历山大·莫塔。 2 科林·奥哈洛兰 2 理查德·佩奇(Richard F.Paige)。 2 亚历克斯·波坦 2 秦胜超 2 安德斯·雷文(Anders P.Ravn)。 2 托拜厄斯·隆格 2 伊娜·谢弗 2 孙骏 2 海伦·特里哈恩 2 安迪·威林斯 2 马丁·威尔辛 2 詹乃军 2 朱慧彪 1 Nazareno M.阿吉雷。 1 伯恩哈德·艾切尼格(Bernhard K.Aichernig)。 1 努诺州阿马利奥 1 阿拉斯代尔·阿姆斯特朗 1 罗布·D·阿尔森。 1 阿塞特夫·诺艾,勒克雷米奥拉 1 迈克尔·班克斯。 1 詹姆斯·巴克斯特 1 塔比亚·博迪斯 1 博斯特罗姆,蓬图斯 1 乔纳森·鲍文(Jonathan P.Bowen)。 1 Calinescu,Radu C。 1 塞缪尔·卡纳姆 1 巴勃罗·卡斯特罗。 1 陈春青 1 陈明帅 1 陈振邦 1 德波尔(Frank S。 1 弗雷德里克·德格伦德 1 约翰·德里克 1 董汝珍 1 史蒂夫·邓恩(Steve E.Dunne)。 1 尼尔·D·埃文斯。 1 约翰·费伯 1 玛丽·法雷尔 1 帕特里夏·费雷拉 1 贝努瓦·弗雷金 1 弗雷塔斯,利奥 1 加兹达,Maciej W。 1 弗雷德里克·热尔维斯 1 马里奥·格雷舍尔 1 维克多·戈麦斯。 1 罗伯特·马克·海伦斯 1 何继峰 1 柯伟 1 亚历山大·基特尔曼 1 雷吉尼·拉劳 1 Michael Leuschel先生 1 李晓山 1 刘,杨 1 洛佩斯·蓬博,卡洛斯·古斯塔沃 1 托马斯·斯蒂芬·爱德华·迈鲍姆 1 乌苏拉·马丁 1 拉里萨·梅尼基。 1 杰雷米·米尔豪 1 阿尔瓦罗宫泽 1 迈克尔·莫勒 1 罗莎玛丽·莫纳汉 1 奥尔德罗格(Ernst-Rüdiger Olderog) 1 保罗·奥利瓦 1 詹姆斯·F·鲍尔(James F.Power)。 1 霍尔格·拉什 1 Joy N.里德。 1 佩德罗·里贝罗 1 安德鲁·威廉·罗斯科 1 简·J·M·M·鲁顿。 1 施耐德(Steve A.Schneider)。 1 塞雷,凯萨 1 马可·塞韦托 1 盛,冯 1 阿德南·谢里夫 …还有17位作者 全部的 前5名10篇连载文章中引用 29 计算的形式方面 8 计算机程序设计科学 4 理论计算机科学 2 实时系统 2 计算机科学中的逻辑方法 1 信息学报 1 信息处理信件 1 系统设计中的形式化方法 1 ACM计算逻辑事务 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 78 计算机科学(68至XX) 5 系统论;控制(93至XX) 4 数学逻辑和基础(03-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文