Cited By
View all- Caires LToninho B(2024)The Session Abstract MachineProgramming Languages and Systems10.1007/978-3-031-57262-3_9(206-235)Online publication date: 5-Apr-2024
- Rocha PCaires L(2023)Safe Session-Based Concurrency with Shared Linear StateProgramming Languages and Systems10.1007/978-3-031-30044-8_16(421-450)Online publication date: 22-Apr-2023
- Papapanagiotou PFleuriot J(2021)Object-Level Reasoning with Logics Encoded in HOL LightElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.332.2332(18-34)Online publication date: 12-Jan-2021
- Show More Cited By