王淑玲;詹乃军;迪米塔尔·盖列夫 一种基于假设/保证的混合CSP合成演算。 （英语） Zbl 1354.68204号 Agrawal，Manindra（编辑）等人，《计算模型的理论和应用》。2012年5月16日至21日在中国北京举行的2012年TAMC第九届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-29951-3/pbk）。计算机科学讲义7287，72-83（2012）。 概述：混合CSP（HCSP）扩展了CSP来描述相互作用的连续和离散动力学。同步通信、定时结构、中断、微分方程等的并发性使得HCSP的行为难以指定和验证。本文提出了一种用于HCSP推理的Hoare型演算。演算包括“持续时间演算”公式，用于记录进程执行历史以及实时属性和连续进化的原因，和专用的谓词符号，用于指定通信跟踪和过程操作的准备状态，以便可以使用假设/保证推理对HCSP的组合结构进行组合处理。关于整个系列，请参见[Zbl 1241.68003号]. 引用于4文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 03B70号 计算机科学中的逻辑 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：混合系统;时段演算;霍尔逻辑;HCSP公司;成分性;承担/保证 PDF格式BibTeX公司 XML格式引用 \textit｛S.Wang｝等人，Lect。注释计算。科学。7287、72--83（2012年；Zbl 1354.68204） 全文： 内政部