德波尔,F.S。;德罗弗,W.-P。;美国汉尼曼。 同步通信进程的合成证明方法的语义基础。 (英语) 兹比尔0959.68086 库蒂·奥斯基(Kutyłowski),米洛斯·aw(编辑)等,《计算机科学的数学基础》,1999年。1999年9月6日至10日,第24届国际研讨会,MFCS’99,波兰什克拉斯卡波罗巴。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1672, 343-353 (1999). 摘要:我们研究了通过同步消息传递进行通信的并发系统的组合证明方法的语义基础。基于用于同步转移图局部验证的归纳断言方法,我们提出了一个组合证明系统,该系统被证明是可靠的和(语义)完整的。这种方法的数学基础包括将谓词视为状态集的纯语义观点,在基本成分的证明中引入虚拟历史变量,一种称为变量或断言中通道出现的句法概念的语义近似,以及使用投影作为制定成分证明规则的基本技术。关于整个系列,请参见[Zbl 0921.00031号]. 引用于1文件 理学硕士: 68问题85 并发和分布式计算的模型和方法(过程代数、互模拟、转换网等) 关键词:成分证明方法;并发系统;同步消息传递 PDF格式BibTeX公司 XML格式引用 \textit{F.S.de Boer}等人,Lect。注释计算。科学。1672343-353(1999;Zbl 0959.68086)