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
The primary source of this additional difficulty is concurrency, exacerbated by the fact that
|