Moine, A., Westrick, S., & Tassarotti, J. (2025). All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs.
Chicago Style (17th ed.) CitationMoine, Alexandre, Sam Westrick, and Joseph Tassarotti. All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs. 2025.
MLA (9th ed.) CitationMoine, Alexandre, et al. All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs. 2025.
Warning: These citations may not always be 100% accurate.