research
∙
09/06/2022
From CCS to CSP: the m-among-n Synchronisation Approach
We present an alternative translation from CCS to an extension of CSP ba...
share
research
∙
05/06/2021
There and Back Again: From Bounded Checking to Verification of Program Equivalence via Symbolic Up-to Techniques
We present a bounded equivalence verification technique for higher-order...
research
∙
10/23/2017
