Cited By
View all- Fowler SHaller PKuhn RLindley SScalas AVasconcelos V(2024)Behavioural Types for Heterogeneous Systems (Position Paper)Electronic Proceedings in Theoretical Computer Science10.4204/EPTCS.401.4401(37-48)Online publication date: 6-Apr-2024
- Hinrichsen JJacobs JKrebbers R(2024)Multris: Functional Verification of Multiparty Message Passing in Separation LogicProceedings of the ACM on Programming Languages10.1145/36897628:OOPSLA2(1446-1474)Online publication date: 8-Oct-2024
- Jongmans S(2024)Discourje: Run-Time Verification of Communication Protocols in Clojure — Live at LastFormal Methods10.1007/978-3-031-71177-0_11(158-166)Online publication date: 13-Sep-2024
- Show More Cited By