Works matching Transactional Models


Results: 1104
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19
    20
    21
    23
    24
    25
    26
    27
    28
    29
    30
    31
    32
    33
    34
    35
    36
    37
    38
    40
    41
    42
    43
    44
    45
    47
    48
    49

    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
    50