位置：成果数据库 > 会议 > 会议详情页
A calculus for Hybrid CSP
  • 所属机构名称：中国科学院软件研究所
  • 会议名称：APLAS 2010, LNCS 6461
  • 成果类型：会议
  • 相关项目：软件构件的精化、组合和粘合理论研究
作者： Jiang Liu|Jidong Lv|Zhao Quan|Naijun Zhan|Hengjun Zhao|Chaochen Zhou|Liang Zou|
同会议论文项目
软件构件的精化、组合和粘合理论研究
期刊论文 7 会议论文 12
同项目会议论文
Refinement of models of software components
Graph representation of sessions and pipelines for structured service programming
Interactive transformations from object-oriented models to component-based models
Failure-divergence refinement of compensating communicating processes
Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems
A hybrid approach for synthesizing optimal controllers of hybrid systems: a case study of the oil pu
An assume/guarantee based compositional calculus for Hybrid CSP
A graph-based implementation for mechanized refinement calculus of OO programs
Computing semi-algebraic invariants for polynomial dynamical systems
Unblockable compositions of software components
Bounded model-checking of discrete duration calculus