法比奥·加杜奇;乌戈·蒙塔纳里 通过过程的图形编码观察标称计算的减少。 (英语) 兹比尔1171.68572 Middeldorp,Aart(编辑)等人,《过程、术语和循环:通向无限的道路上的步骤》。在简·威廉·克洛普60岁生日之际,为他撰写的论文。柏林:施普林格出版社(ISBN 3-540-30911-X/pbk)。计算机科学课堂讲稿3838106-126(2005)。 摘要:本文介绍了一种新的方法来合成具有名称迁移的微积分的标记转移系统。该建议基于图形编码:每个进程都映射到一个(排序)图中,这样表示就通常的结构同余而言是完全抽象的(即,当相应的编码产生相同的图时,两个进程完全等价)。秩图自然地配备了一些代数运算,并且它们被证明形成了一个合适的(bi)类cospan。然后,正如Sassone和Sobocinski所证明的那样,可以应用Milner和Leifer最初提出的基于相对推出的合成机制。由此产生的标记转换系统将图形作为状态和标记进行排序,并在过程(编码)上诱导了一种观察性等价,这让人联想到早期的双相似性。关于整个系列,请参见[Zbl 1097.68007号]. 引用于6文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 关键词:标称结石;约简语义;合成标记过渡系统;相对推出;图形变换 PDF格式BibTeX公司 XML格式引用 \textit{F.Gadducci}和\textit{U.Montanari},莱克特。注释计算。科学。3838、106-126(2005年;Zbl 1171.68572) 全文: 内政部