Operational Semantics for Fun and Profit
Operational Semantics for Fun and Profit
复制标题
操作语义的乐趣和利润
DOI：
10.1007/11423348_16
复制
发表时间：
2004
影响因子：
8.4
通讯作者：
M. Goldsmith
中科院分区：
文献类型：
--
作者：
M. Goldsmith
FDR改进检查工具，可免费用于学术目的。[5]从根本上依赖于CSP的操作语义和指称语义之间的一致性，以便通过探索操作呈现的系统来确定指称属性。但是，复杂系统的标准结构化操作语义的计算证明了该工具性能的瓶颈，因此我们为每种情况编译了一个自定义推理系统，优化以促进相关查询的执行。最近的发展揭示了这些计算如何在重组系统中重新使用，以最大限度地提高分层压缩的潜力，并导出到相关的概率形式主义。
The FDR refinement-checking tool, available free for academic purposes. [5] relies fundamentally upon the congruences between operational and denotational semantics for CSP, in order to determine a denotational property by exploring an operationally presented system. But the calculation of the standard structured operational semantics of complex systems proves a bottleneck in the performance of the tool, and so we compile a custom inference system for each case, optimised for facilitating execution of the relevant queries. Recent developments have revealed how these calculations can be re-used in restructuring systems to maximise the potential for hierarchical compression and for export to a related probabilistic formalism.