A New Linear Logic for Deadlock-Free Session-Typed Processes.

Ornela Dardha Simon J. Gay

Published in: FoSSaCS (2018)

Keyphrases

linear logic
deadlock free
fixed point
concurrency control
logic programming
desirable properties
logical framework
sequent calculus
cut elimination
higher order
routing algorithm
database systems
knowledge representation
query processing
automated reasoning