Normality: a consistency condition for concurrent objects

Parallel Processing Letters

Volumn 9, Issue 1, 1999, Pages 123-134

  Garg, Vijay K ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; CONCURRENCY CONTROL; DISTRIBUTED COMPUTER SYSTEMS; LINEARIZATION; MATHEMATICAL MODELS;

CONCURRENT OBJECTS; CONSISTENCY CONDITION; LINEARIZABILITY; LOCALITY PROPERTY; NON BLOCKING PROPERTY;

COMPUTATION THEORY;

EID: 0032691683     PISSN: 02196264     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (1)

1. L. Lamport. How to Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs. IEEE Trans, on Computers, C28(9):690-691, 1979.