Department of Computer Science

• Published

  Trillium: Unifying Refinement and Higher-Order Distributed Separation Logic

  Research output: Working paper/Preprint › Preprint

• Published

  Distributed causal memory: Modular specification and verification in higher-order distributed separation logic

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

View all (2) »