Go with the flow: compositional abstractions for concurrent data structures

Siddharth Krishna, Dennis E. Shasha, Thomas Wies. Go with the flow: compositional abstractions for concurrent data structures. Proceedings of the ACM on Programming Languages, 2(POPL), 2018. [doi]

Authors

Siddharth Krishna

This author has not been identified. Look up 'Siddharth Krishna' in Google

Dennis E. Shasha

This author has not been identified. Look up 'Dennis E. Shasha' in Google

Thomas Wies

This author has not been identified. Look up 'Thomas Wies' in Google