Separating Sessions Smoothly

Simon Fowler 0001, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris. Separating Sessions Smoothly. Logical Methods in Computer Science, 19(3), 2023. [doi]

Abstract

Abstract is missing.