A new linear logic for deadlock-free session-typed processes
scientific article; zbMATH DE number 6904531