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.LO2014
UTP2: Higher-Order Equational Reasoning by Pointing
Andrew Butterfield
We describe a prototype theorem prover, UTP2, developed to match the style of hand-written proof work in the Unifying Theories of Programming semantical framework. This is based on…