语义模型间关系的推导--一种面向cCSP的方法
Deriving Relationship Between Semantic Models - An Approach for cCSP
摘要：
形式语义学为语言提供了一个完整而严格的定义。为一种语言定义不同的语义模型是很重要的，不同的模型服务于不同的目的。在语言的不同语义模型之间建立等价性，加强了语言的形式基础。本文展示了从cCSP语言的操作语义推导出指称语义的过程。其目的是显示操作和跟踪语义之间的对应关系。我们从操作规则中提取轨迹，并使用归纳法来显示cCSP的两个语义之间的对应关系。
英文摘要：
Formal semantics offers a complete and rigorous definition of a language. It is important to define different semantic models for a language and different models serve different purposes. Building equivalence between different semantic models of a language strengthen its formal foundation. This paper shows the derivation of denotational semantics from operational semantics of the language cCSP. The aim is to show the correspondence between operational and trace semantics. We extract traces from operational rules and use induction over traces to show the correspondence between the two semantics of cCSP.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
