科斯卡尔

工作中的CasCAL——建模过程代数。COCASL,一个最近开发的代数规范语言CASL的GueGrBric扩展,允许在归纳数据类型和共归纳过程类型方面建模系统。在这里,我们演示了如何指定进程代数,即CCS[R米尔纳,通信和并发。纽约等:PruteCe Hall(1989;ZBL 683.68008)和CSP〔托尼·霍尔,通信序列过程〕。恩格尔伍德悬崖,新泽西等:普伦蒂斯霍尔国际(1985;ZBL 637.68007)],在这样的代数余代数框架。结果表明,CasCAL能够以一种自然的方式处理进程代数的基本概念:通信的类型系统、过程语法和它们的结构操作语义很好地符合CASL的代数世界,而COCASL的附加余代数构造涵盖了各种过程等价(互模拟、弱互模拟、观测同余和迹等价),并提供完全抽象的语义域。COCASL因此成为研究反应系统的语义和证明理论的元框架。


ZBMaX中的参考文献(26篇)1标准条款

显示结果1至20的26。
按年份排序(引文
  1. Leaveand,Daniel M.:归纳和共归纳计算的全局语义分类(2014)
  2. Ruangu,Grigur. Luaunu,Doel:行为改写系统和行为生产力(2014)
  3. Salnela,唐纳德;TaelkKi,ANDRZJ:代数规范和形式化软件开发的基础。(2012)
  4. Lutz、帕丁森、Dirk:基于多分类余代数的异构模态逻辑模块化算法(2011)
  5. Sokolova,阿纳河:概率系统共聚:一项调查(2011)
  6. 艾吉尔,贾景晖;Longuet,德尔菲娜:证明规范化的一般结果(2010)
  7. Ruangu,Grigur. Luaunu,Doel:循环共诱导:证明理论基础(2009)
  8. 卢卡努,多莱尔;罗素,格里格;格里高拉,GHOGHOR:作为TeXFSCIRC(2008)的证明策略的规则策略
  9. Lutz定理:HasCasl中的自举归纳和共归纳类型(2008)
  10. 施罗德,Lutz:余代数模态逻辑的表现力:极限与超越(2008)
  11. Fiadeiro,Joee Luz(E.);肖邦,Pierre Yves(ED):代数发展技术的最新趋势。第十八国际讲习班,WADT 2006,拉罗恩恩登,比利时,6月1日- 3, 2006。修订后的论文。(2007)
  12. 朗吉特,德尔菲娜;艾吉尔,贾景晖:CasCAL模态规范的规范化测试(2007)
  13. Padawitz,彼得:ExpReule2:交互与自动化之间的程序验证(2007)
  14. Lutz,HasCasl中的自举类型和类型(2007)
  15. 施罗德,Lutz;莫萨科夫斯奇,直到:COCASL中的余代数模态逻辑(2007)
  16. Hausmann,丹尼尔;Mossakowski,to;施罗德,Lutz:环境演算语义的余代数方法(2006)
  17. Mossakowski,直到;施罗德,Lutz;罗根巴赫,Markus;雷赫尔,霍斯特:COCASL中的代数余代数规范(2006)
  18. Roggenbach,Markus:CSP-CASL——过程代数与代数规范的新集成(2006)
  19. Cerioli,Maura(ED.):软件工程的基本方法。第八届国际会议,FASE 2005,作为欧洲软件理论与实践的联合会议的一部分,ETAP 2005,爱丁堡,英国,4月4日- 8, 2005。诉讼程序。(2005)
  20. Hausmann,丹尼尔;Mossakowski,直到;施罗德,Lutz:朝向环境演算的余代数语义(2005)