×

结构操作语义。 (英语) Zbl 1062.68074号

Bergstra,Jan A.(编辑)等人,《过程代数手册》。阿姆斯特丹:北荷兰/爱思维尔(ISBN 0-444-82830-3)。197-292 (2001).
概述:本文概述了结构操作语义(SOS)理论的发展现状,重点介绍了其在进程代数中的应用。重点讨论了SOS的五个方面,即带有谓词和否定前提的过渡系统规范(TSS)的含义、TSS的保守扩展结果、同余格式、多种高阶扩展以及与指称语义的连接。
关于整个系列,请参见[Zbl 0971.00006号].

MSC公司:

第68季度55 计算理论中的语义学
60年第68季度 规范和验证(程序逻辑、模型检查等)
68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
68-00 与计算机科学有关的一般参考书(手册、词典、书目等)
PDF格式BibTeX公司 XML格式引用