×

马戏团

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位作者

按年份列出的引文