Deriving Relationship Between Semantic Models - An Approach for cCSP
Logic in Computer Science
2010-02-18 v2 Software Engineering
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.
Cite
@article{arxiv.1002.3330,
title = {Deriving Relationship Between Semantic Models - An Approach for cCSP},
author = {Shamim H. Ripon and Michael Butler},
journal= {arXiv preprint arXiv:1002.3330},
year = {2010}
}
Comments
8 Pages IEEE format, International Journal of Computer Science and Information Security, IJCSIS January 2010, ISSN 1947 5500