2 papers
cs.LO2022
From CCS to CSP: the m-among-n Synchronisation Approach
Gerard Ekembe Ngondi, Vasileios Koutavas, Andrew Butterfield
We present an alternative translation from CCS to an extension of CSP based on m-among-n synchronisation (called CSPmn). This translation is correct up to strong bisimulation. Unli…
cs.LO2016
Unifying Theories of Mobile Channels
Gerard Ekembe Ngondi
In this paper we present the denotational semantics for channel mobility in the Unifying Theories of Programming (UTP) semantics framework. The basis for the model is the UTP theor…