Siddharth Krishna, Dennis E. Shasha, Thomas Wies
Go with the flow: compositional abstractions for concurrent data structures
POPL, 2018.
@article{POPL-2018-KrishnaSW, author = "Siddharth Krishna and Dennis E. Shasha and Thomas Wies", doi = "10.1145/3158125", journal = "{Proceedings of the ACM on Programming Languages}", number = "POPL", pages = "31", publisher = "{ACM}", title = "{Go with the flow: compositional abstractions for concurrent data structures}", volume = 2, year = 2018, }