Better Late Than Never: A Fully Abstract Semantics for Classical Processes

Wen Kokke, Fabrizio Montesi, Marco Peressotti

We present Hypersequent Classical Processes (HCP), a revised interpretation of the "Proofs as Processes" correspondence between linear logic and the π-calculus initially proposed b…