A separation logic for concurrent randomized programs

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

Authors

Joseph Tassarotti

This author has not been identified. Look up 'Joseph Tassarotti' in Google

Robert Harper

Identified as Robert Harper
(Carnegie Mellon University
)