TY  - RPRT
TI  - Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement
AU  - Amin Timany
AU  - Simon Oddershede Gregersen
AU  - Léo Stefanesco
AU  - Jonas Kastberg Hinrichsen
AU  - Léon Gondelman
AU  - Abel Nieto
AU  - Lars Birkedal
PY  - 2024
DO  - 10.1145/3632851
UR  - https://arxiv.org/abs/2109.07863
ID  - 2109.07863
ER  -