3 citations · 4 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2010
Deriving Relationship Between Semantic Models - An Approach for cCSP
Shamim H. Ripon, Michael Butler
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 pu…
cs.LO2010★ 1 cited
Formalizing cCSP Synchronous Semantics in PVS
Shamim H. Ripon, Michael Butler
Compensating CSP (cCSP) is a language defined to model long running business transactions within the framework of standard CSP process algebra. In earlier work, we have defined bot…