Go with the Flow: Compositional Abstractions for ...

cs.nyu.edu

37 Go with the Flow: Compositional Abstractions for Concurrent Data Structures∗ SIDDHARTH KRISHNA, New York University, USA DENNIS SHASHA, New York University, USA THOMAS WIES, New York University, USA Concurrent separation logics have helped to significantly simplify correctness proofs for concurrent data

  Data, Flows, Concurrent, Siddharth, Abstraction, Compositional abstractions for concurrent data, Compositional