A separation logic for concurrent randomized programs

Joseph Tassarotti, Robert Harper 0001. A separation logic for concurrent randomized programs. Proceedings of the ACM on Programming Languages, 3, 2019. [doi]

Abstract

Abstract is missing.