Reachability Types, Traces and Full Abstraction
| Title: | Reachability Types, Traces and Full Abstraction |
|---|---|
| Authors: | Bunting, Benedict; Murawski, Andrzej S. |
| Source: | 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) LICS Logic in Computer Science (LICS), 2025 40th Annual ACM/IEEE Symposium on. :527-540 Jun, 2025 |
| Relation: | 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) |
| Database: | IEEE Xplore Digital Library |