Towards Races in Linear Logic

09/29/2019
by   Wen Kokke, et al.
0

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 of CP which addresses a fundamental shortcoming: the fundamental operator for parallel composition from the π-calculus does not correspond to any rule of linear logic, and therefore not to any term construct in CP. We introduce non-deterministic HCP, which extends HCP with a novel account of non-determinism. Our approach draws on bounded linear logic to provide a strongly-typed account of standard process calculus expressions of non-determinism. We show that our extension is expressive enough to capture many uses of non-determinism in untyped calculi, such as non-deterministic choice, while preserving HCP's meta-theoretic properties, including deadlock freedom.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/15/2019

Taking Linear Logic Apart

Process calculi based on logic, such as πDILL and CP, provide a foundati...
research
02/08/2018

Classical Higher-Order Processes

Classical Processes (CP) is a calculus where the proof theory of classic...
research
03/26/2021

Prioritise the Best Variation

Binary session types guarantee communication safety and session fidelity...
research
11/09/2017

Non-deterministic Characterisations

In this paper, we extend Jones' result -- that cons-free programming wit...
research
04/30/2021

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)

We study encodings of the lambda-calculus into the pi-calculus in the un...
research
08/15/2018

A Pragmatic, Scalable Approach to Correct-by-construction Process Composition Using Classical Linear Logic Inference

The need for rigorous process composition is encountered in many situati...
research
08/15/2018

Correct-by-construction Process Composition Using Classical Linear Logic Inference

The need for rigorous process composition is encountered in many situati...

Please sign up or login with your details

Forgot password? Click here to reset