Telecharger Cours

Formal Verification of Concurrent Data Structures

In this thesis, we introduce new algorithmic approaches for improving the reliability of con- current data structures. For shared-memory data structures (where ...



Download