@misc{indiciae5bd3a7c55c36,
  title = {Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement},
  author = {Amin Timany and Simon Oddershede Gregersen and Léo Stefanesco and Jonas Kastberg Hinrichsen and Léon Gondelman and Abel Nieto and Lars Birkedal},
  year = {2024},
  doi = {10.1145/3632851},
  url = {https://arxiv.org/abs/2109.07863},
  note = {Source identifier: 2109.07863}
}