李,秦;朱慧彪;何继峰 兽人语言的指称语义模型。 (英语) Zbl 1286.68302号 Cavalcanti,Ana(编辑)等人,《计算的理论方面——ICTAC 2010》。2010年9月1日至3日,第七届国际学术讨论会,巴西北里奥格兰德州纳塔尔。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14807-1/pbk)。计算机科学讲稿6255106-120(2010)。 概要:Orc语言是一种并发演算,旨在研究广域计算中的编排模式。它的高并发性和异步性等特性使其成为研究面向服务的分布式系统的一个极好的课题。本文提出了Orc语言的指称语义模型。每个兽人程序都被形式化为一个谓词。提供健康条件,使程序域与谓词域的特定子集相对应。该模型对实现和规范提供了相同的语义解释。利用求精原理,我们能够确定程序是否满足其规范,这可以通过定理证明器来说明。关于整个系列,请参见[Zbl 1194.68019号]. 引用于三文件 MSC公司: 68问题55 计算理论中的语义学 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 软件:兽人 PDF格式BibTeX公司 XML格式引用 \textit{Q.Li}等人,Lect。注释计算。科学。6255106-120(2010年;Zbl 1286.68302) 全文: 内政部