Search Results - Mével, Glen

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Formal verification of a concurrent bounded queue in a weak memory model

    Formal verification of a concurrent bounded queue in a weak memory model by Mével, Glen, Jourdan, Jacques-Henri

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Thunks and Debits in Separation Logic with Time Credits

    Thunks and Debits in Separation Logic with Time Credits by Pottier, François, Guéneau, Armaël, Jourdan, Jacques-Henri, Mével, Glen

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Cosmo: a concurrent separation logic for multicore OCaml

    Cosmo: a concurrent separation logic for multicore OCaml by Mével, Glen, Jourdan, Jacques-Henri, Pottier, François

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: