activity
20172025
most citedLocally Nameless Permutation Types

2 citations · 2 across the 8 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

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…