Monitors and blame assignment for higher-order session types. - Limin Jia 001; Hannah Gommerstadt; Frank Pfenning (POPL, 2016)

Session-Typed Concurrent Contracts. - Hannah Gommerstadt (2021)

Session-typed concurrent contracts. - Hannah Gommerstadt; Limin Jia 001; Frank Pfenning (J. Log. Algebraic Methods Program., 2022)