Cited By
View all- Kavanagh RPientka B(2024)Message-Observing SessionsProceedings of the ACM on Programming Languages10.1145/36498598:OOPSLA1(1351-1379)Online publication date: 29-Apr-2024
- Moine AWestrick SBalzer S(2024)DisLog: A Separation Logic for DisentanglementProceedings of the ACM on Programming Languages10.1145/36328538:POPL(302-331)Online publication date: 5-Jan-2024
- Francalanza ATabone GPfenning F(2024)Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax)Coordination Models and Languages10.1007/978-3-031-62697-5_16(295-313)Online publication date: 11-Jun-2024
- Show More Cited By