University of Illinois at Urbana-Champaign

Read Atomic Transactions with Prevention of Lost Updates: ROLA and its Formal Analysis

Liu, Si; Olveczky, Peter C.; Wang, Qi; Gupta, Indranil; Meseguer, José

Loading…

Permalink

Description

Owning Collections