Zobrazuji výsledky 1 - 2 z 2 pro vyhledávání 'Herlihy, M', doba hledání: 0,02 s. Upřesnit hledání
  1. 1
    Proving correctness of highly−concurrent linearisable objects

    Proving correctness of highly−concurrent linearisable objects Autor Vafeiadis, V, Herlihy, M, Hoare, T, Shapiro, M

    Vydáno 2006
    Conference item
  2. 2
    Argus Reference Manual

    Argus Reference Manual Autor Liskov, Barbara, Day, M., Herlihy, M., Johnson, P., Leavens, G.

    Vydáno 2023
    Získat plný text

Vyhledávací nástroje: