학술논문
Deriving Relationship Between Semantic Models - An Approach for cCSP
Document Type
Working Paper
Author
Source
International Journal of Computer Science and Information Security, IJCSIS, Vol. 7, No. 1, pp. 47-54, January 2010, USA
Subject
Language
Abstract
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.
Comment: 8 Pages IEEE format, International Journal of Computer Science and Information Security, IJCSIS January 2010, ISSN 1947 5500
Comment: 8 Pages IEEE format, International Journal of Computer Science and Information Security, IJCSIS January 2010, ISSN 1947 5500