Aarhus University Seal / Aarhus Universitets segl

Abel Nieto Rodriguez

  1. 2021
  2. Published

    Distributed causal memory : Modular specification and verification in higher-order distributed separation logic. / Gondelman, Léon; Gregersen, Simon Oddershede; Nieto, Abel; Timany, Amin; Birkedal, Lars.

    In: Proceedings of the ACM on Programming Languages, Vol. 5, No. POPL, 42, 01.2021.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review