Concurrent data structure: Difference between revisions

Content deleted Content added
Basic principles: remove unmatched parenthesis
Design and Implementation: fixed menaing of verification
Line 83:
 
Concurrent data structures are significantly more difficult to design
and to verify andas being correct than their sequential counterparts.
 
The primary source of this additional difficulty is concurrency, exacerbated by the fact that