马戏团

马戏团的语义。马戏团是一种求精的并发语言,它是命令式CSP、Z和精化演算的统一。我们描述了马戏团的语言,并在霍尔和他的统一编程理论中对其模型进行了形式化。


ZBMaCT中的参考文献(87篇文章中引用)

显示结果1至20的87。
按年份排序(引文
  1. 福斯特,西蒙;卡瓦尔坎蒂,阿纳河;坎纳姆,塞缪尔;伍德考克,吉姆;泽达,弗兰克:反应设计合同的统一理论(2020)
  2. 海因斯,Ian J.;Meimikk,Larissa A.;Western,克尔斯滕;科尔文,Robert J.:同步程序代数:基于共享内存和事件并发的推理基础(2019)
  3. 福斯特,西蒙;卡瓦尔坎蒂,阿纳河;伍德考克,吉姆;泽达,弗兰克:统一时间反应理论与广义反应过程(2018)
  4. 施,凌;赵,永新;刘,杨;孙,军;Dong,金松;秦,盛超:一个用于共享变量的进程的UTP语义及其在PVS中的形式编码(2018)
  5. 陈,明帅;Ravn,Anders P.;王,舒灵;杨,Mengfei;Pig,y:嵌入式系统形式设计与非正式设计之间的双向路径(2017)
  6. 福斯特,西蒙;蒂勒,伯恩哈德;卡瓦尔坎蒂,阿纳河;伍德考克,吉姆:面向MODICA的UTP语义(2017)
  7. 里贝罗,佩德罗;卡瓦尔坎蒂,阿纳河;伍德考克,吉姆:一种逐步联系理论的方法(2017)
  8. 阿姆斯壮,阿拉斯代尔;戈麦斯,Victor B. F.;施特鲁特,格奥尔:用代数原理构建程序构造和验证工具(2016)
  9. 卡瓦尔坎蒂,阿纳河;伍德考克,吉姆;阿马利奥,Nuno:FMI联合模拟的行为模型(2016)
  10. 福斯特,西蒙;泽达,弗兰克;伍德考克,吉姆:用透镜统一异质状态空间(2016)
  11. 卡斯特罗,Pablo F.;阿吉雷,纳萨雷努;庞博,Carlos L.;MaiaBum,T. S. E.:(MathSFZ)结构化规范的分类基础(2015)
  12. 卡瓦尔坎蒂,阿纳河;Gaudel,Marie Claude:痕迹提炼的测试选择(2015)
  13. 莫塔岛,A,法里亚斯,A;伍德考克,J;拉森,P. G.:模型检验CML:工具开发和工业应用(2015)伊波尔特
  14. Salehi Fathabadi,Asieh;巴特勒,米迦勒;ReZaZADh,AbdoBajH:事件-B(2015)事件细化结构的语言和工具支持伊波尔特
  15. 泽伊达,弗兰克;卡瓦尔坎蒂,阿纳河:基于任务的程序规则(2015)
  16. 朱,H.;He,Jifeng;秦,盛超;布鲁克,菲利浦:事件驱动系统级语言的指称语义及其代数推导(2015)
  17. 银行,Michael J.;雅各伯,Jeremy L.:在形式化方法中集成机密性和功能性(2014)
  18. 波斯特罗姆,庞特斯;德格伦德,Fredrik;塞尔,凯萨;沃尔德,马里纳:事件B模型逐步排序的并发程序推导(2014)
  19. 弗拉皮尔,贾景晖;热尔韦,弗雷德里克;拉洛,R·G;米哈乌,杰瑞梅:ASTDS的精细化模式(2014)
  20. 宫崎骏,阿尔瓦罗;CavalcAuto,阿纳河:基于STATEF流程图实现的基于细化的验证(2014)伊波尔特