Works matching IS 01782770 AND DT 2010 AND VI 22 AND IP 3

Results: 5
    1
    2
    3

    The k-simultaneous consensus problem.

    Published in:
    Distributed Computing, 2010, v. 22, n. 3, p. 185, doi. 10.1007/s00446-009-0090-8
    By:
    • Afek, Yehuda;
    • Gafni, Eli;
    • Rajsbaum, Sergio;
    • Raynal, Michel;
    • Travers, Corentin
    Publication type:
    Article
    4

    Model checking transactional memories.

    Published in:
    Distributed Computing, 2010, v. 22, n. 3, p. 129, doi. 10.1007/s00446-009-0092-6
    By:
    • Guerraoui, Rachid;
    • Henzinger, Thomas;
    • Singh, Vasu
    Publication type:
    Article
    5