Return to Article Details Synchronization in Concurrent Data Structures Based on the Analysis of Dependencies between Operations Download Download PDF