Relating Semantic Models of Compensating CSP
Shamim Ripon, Michael J. Butler · ePrints Soton (University of Southampton) · 2006
Abstract. Building equivalences between different semantic models of a language strengthens the formal foundation of the language. This paper shows the derivation of denotational semantics from operational semantics of the language cCSP. The aim is to show the correspondence between the operational and trace semantics. We extract traces from operational rules and use structural induction to show the correspondence between the two semantics of cCSP. 1