Cited By
View all- Jacobs JHinrichsen JKrebbers R(2024)Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message PassingProceedings of the ACM on Programming Languages10.1145/36328898:POPL(1385-1417)Online publication date: 5-Jan-2024
- GRAVERSEN EHIRSCH AMONTESI F(2024)Alice or Bob?: Process polymorphism in choreographiesJournal of Functional Programming10.1017/S095679682300011434Online publication date: 23-Jan-2024
- Arslanagić APérez JPalamariuc A(2024)Minimal Session Types for the π-calculusInformation and Computation10.1016/j.ic.2024.105148(105148)Online publication date: Jan-2024
- Show More Cited By