Context-Free Session Types for Applied Pi-Calculus. - Jens Aagaard; Hans Hüttel; Mathias Jakobsen; Mikkel Kettunen (EXPRESS/SOS, 2018)

Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. - Mario Bravetti; Adrian Francalanza; Iaroslav Golovanov; Hans Hüttel; Mathias Jakobsen; Mikkel Kettunen; António Ravara (APLAS, 2020)

Behavioural separation with parallel usages. - Iaroslav Golovanov; Hans Hüttel; Mathias Jakobsen; Mikkel Kettunen (FTfJP@ECOOP, 2021)