混合规范相关硕士博士期刊学术论文

为了形式化规范、验证和分析反应式并发系统,学术界提出并发展了多种形式化规范方法。这些方法大体上可分为两类：基于动作的和基于......