16 citations · 28 across the 7 of their papers we have counts for
3 papers · 1 filter
Towards Races in Linear Logic
Wen Kokke, J. Garrett Morris, Philip Wadler
Process calculi based in logic, such as DILL and CP, provide a foundation for deadlock-free concurrent programming, but exclude non-determinism and races. HCP is a reformulation…
Taking Linear Logic Apart
Wen Kokke, Fabrizio Montesi, Marco Peressotti
Process calculi based on logic, such as DILL and CP, provide a foundation for deadlock-free concurrent programming. However, in previous work, there is a mismatch between the ru…
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…