Go with the Flow: Compositional Abstractions for Concurrent Data Structures (Extended Version).

Siddharth Krishna Dennis E. Shasha Thomas Wies

Published in: CoRR (2017)

Keyphrases

data structure
flow patterns
artificial intelligence
real time
high level
data types
mutual exclusion
database
machine learning
decision trees
case study
xml documents
domain specific