On Jannuary 18th, Marco Peressotti presented the paper “Better Late Than Never: A Fully Abstract Semantics for Classical Processes” at 46th ACM SIGPLAN Symposium on Principles of Programming Languages (https://popl19.sigplan.org/).
The paper by Wen Kokke, Fabrizio Montesi, and Marco Peressotti introduced Hypersequent Classical Processes (HCP), a revised interpretation of the “Proofs as Processes” correspondence between linear logic and the π-calculus initially proposed by Abramsky , and later developed by Bellin and Scott , Caires and Pfenning , and Wadler , among others. HCP mends the discrepancies between linear logic and the syntax and observable semantics of parallel composition in the π-calculus, by conservatively extending linear logic to hyperenvironments (collections of environments, inspired by the hypersequents by Avron ).
The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports. The main focus is on fundamental principles in the design, definition, analysis, and implementation of programming languages, programming systems, and programming interfaces.