Deriving Relationship Between Semantic Models - An Approach for cCSP

Details Deriving Relationship Between Semantic Models - An Approach for cCSP Deriving Relationship Between Semantic Models - An Approach for cCSP

2010-02-17

arxiv.org/abs/1002.3330v2

International Journal of Computer Science and Information Security, IJCSIS, Vol. 7, No. 1, pp. 47-54, January 2010, USA

Computer Science

Logic in Computer Science

8 Pages IEEE format, International Journal of Computer Science and Information Security, IJCSIS January 2010, ISSN 1947 5500

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Deriving Relationship Between Semantic Models - An Approach for cCSP does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Deriving Relationship Between Semantic Models - An Approach for cCSP, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Deriving Relationship Between Semantic Models - An Approach for cCSP will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-404251