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
- 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
- Li EStutz FWies T(2024)Deciding Subtyping for Asynchronous Multiparty SessionsProgramming Languages and Systems10.1007/978-3-031-57262-3_8(176-205)Online publication date: 6-Apr-2024
- Show More Cited By