马戏团

马戏团的语义。Circus是一种用于求精的并发语言;它是命令式CSP、Z和求精演算的统一。我们描述了马戏团的语言和形式化的模式在霍尔-他统一的编程理论。


zbMATH参考文献(参考 88篇文章 参考)

显示88个结果中的1到20个。
按年份排序(引用)
  1. Simon Foster;Ana Cavalcanti;Samuel Canham;Jim Woodcock;Frank Zeyda:反应式设计合同统一理论(2020)
  2. Sheng,Feng;Zhu,Hui Biao;He,Jifeng;Yang,Zongyuan;Bowen,Jonathan P:基于UTP的MDESL指称语义的理论与实践研究(2020)
  3. Hayes,Ian J.;Meinicke,Larissa A.;Winter,Kirsten;Colvin,Robert J.:同步程序代数:关于共享内存和基于事件的并发的推理基础(2019)
  4. Foster,Simon;Cavalcanti,Ana;Woodcock,Jim;Zeyda,Frank:将时间理论与广义反应过程相统一(2018)
  5. Shi,Ling;Zhao,Yongxin;Liu,Yang;Sun,Jun;Dong,Jin Song;Qin,Shengchao:PVS中用于共享变量的进程通信的UTP语义及其形式化编码(2018)
  6. 陈明帅;Ravn,Anders P.;Wang,Shuling;Yang,Mengfei;Zhan,Naijun:嵌入式系统正式与非正式设计的双向路径(2017)
  7. Foster,Simon;Thiele,Bernhard;Cavalcanti,Ana;Woodcock,Jim:面向Modelica的UTP语义(2017)
  8. Ribeiro,Pedro;Cavalcanti,Ana;Woodcock,Jim:联系理论的逐步方法(2017)
  9. Armstrong,Alasdair;Gomes,Victor B.F.;Struth,Georg:从代数原理构建程序构建和验证工具(2016)
  10. 安娜州卡瓦尔坎蒂;伍德科克,吉姆;阿马里奥,努诺:FMI共同模拟的行为模型(2016年)
  11. Foster,Simon;Zeyda,Frank;Woodcock,Jim:《用透镜统一异质状态空间》(2016)
  12. Castro,Pablo F.;Aguirre,Nazareno;Pombo,Carlos L.;Maibaum,T.S.E.:(\mathsfZ)中结构化规范的分类基础(2015)
  13. 安娜州卡瓦尔坎蒂;戈德尔,玛丽·克劳德:痕迹细化的测试选择(2015年)
  14. Mota,A.;Farias,A.;Woodcock,J.;Larsen,P.G.:模型检查CML:工具开发和工业应用(2015)ioport公司
  15. Salehi Fathabadi,Asieh;Butler,Michael;Rezadeh,Abdolbaghi:event-B中事件细化结构的语言和工具支持(2015)ioport公司
  16. Zeyda,Frank;Cavalcanti,Ana:基于任务的编程法则(2015)
  17. Zhu,H.;He,Jifeng;Qin,Shengchao;Brooke,Phillip:事件驱动系统级语言的指称语义及其代数推导(2015)
  18. Banks,Michael J.;Jacob,Jeremy L.:关于在正式方法中集成机密性和功能性(2014)
  19. Boström,Pontus;Degerlund,Fredrik;Sere,Kaisa;Waldén,Marina:通过逐步调度Event-B模型推导并发程序(2014)
  20. Frappier,Marc;Gervais,Frédéric;Laleau,Régine;Milhau,JéRémy:ASTDs的细化模式(2014)