Browsing Computer Science (Scholarly Publications) by Subject "FORMAL VERIFICATION"
Now showing items 1-1 of 1
-
From CCS to CSP: the m-among-n Synchronisation Approach
(Open Publishing Association, 2022)We present an alternative translation from CCS to an extension of CSP based on m-among-n syn chronisation (called CSPmn). This translation is correct up to strong bisimulation. Unlike the g-star renaming approach ([4]), ...