科卡斯尔

CoCasl在工作-建模过程代数。CoCasl是代数规范语言Casl的一个最新发展的代数扩展,它允许根据归纳数据类型和共归纳过程类型对系统进行建模。这里,我们演示如何指定进程代数,即CCS[R.Milner,Communication and concurrency。Sequentic Processs.Hoatic83,New York等(1989年,第680页,第83页)。Englewood Cliffs,New Jersey等:Prentice Hall International(1985;Zbl 0637.68007)],在这样一个代数代数代数框架内。代数系统的基本代数过程和它的运算式语义学,也可以用它们的基本代数过程来处理,而CoCasl的附加余代数结构涵盖了各种过程等价性(互模拟、弱互模拟、观测同余和迹等价),并提供了完全抽象的语义域。CoCasl因此成为研究反应系统语义和证明理论的元框架。


zbMATH中的参考文献(参考 26篇文章,1标准件)

显示第1到第20个结果,共26个。
按年份排序(引用)
  1. Leivant,Daniel M.:归纳和共归纳计算的全局语义类型(2014)
  2. Roşu,Grigore;Lucanu,Dorel:行为重写系统与行为生产力(2014)
  3. Sannella,Donald;Tarlecki,Andrzej:代数规范和形式化软件开发的基础。(2012年)
  4. Schröder,Lutz;Pattinson,Dirk:基于多分类余代数的异构模态逻辑的模块化算法(2011)
  5. Sokolova,Ana:概率系统凝聚:一项调查(2011)
  6. Aiguier,Marc;Longuet,Delphine:关于证明规范化的一些一般结果(2010)
  7. Roşu,Grigore;Lucanu,Dorel:循环共推:证明理论基础(2009)
  8. Lucanu,Dorel;Roşu,Grigore;Grigoraş,Ghorghe:常规策略作为SFCIRC的证明策略(2008)
  9. Schröder,Lutz:HasCASL中的自举归纳和共归纳类型(2008)
  10. Schröder,Lutz:余代数模态逻辑的表达性:极限与超越(2008)
  11. Fiadeiro,JoséLuiz(编辑);Schobbens,Pierre Yves(编辑):代数发展技术的最新趋势。第18届国际研讨会,2006年6月1日至3日,比利时阿登拉罗什。修订精选论文。(2007年)
  12. Longuet,Delphine;Aiguier,Marc:CoCasl模态规范的基于规范的测试(2007)
  13. Padawitz,Peter:Expander2:交互与自动化之间的程序验证(2007)
  14. Schröder,Lutz:HasCasl中的引导类型和子类型(2007)
  15. Schröder,Lutz;Mossakowski,Till:CoCasl中的余代数模态逻辑(2007)
  16. 《环境微积分的方法》,丹尼尔·布劳什曼,2006年
  17. Mossakowski,Till;Schröder,Lutz;Roggenbach,Markus;Reichel,Horst:CoCASL中的代数余代数规范(2006)
  18. Roggenbach,Markus:CSP-CASL——过程代数与代数规范的新集成(2006)
  19. Cerioli,Maura(编辑):软件工程的基本方法。第八届国际会议,FASE 2005,作为欧洲软件理论与实践联合会议的一部分,ETAPS 2005,英国爱丁堡,2005年4月4日至8日。诉讼程序。(2005年)
  20. Daniel Hausmann,Till;Mossakowski,Till;Schröder,Lutz:走向环境演算的一个凝聚语义(2005)