Data reification in a concurrent rely-guarantee algebra

MLA

Meinicke, Larissa A., et al. Data Reification in a Concurrent Rely-Guarantee Algebra. 2024. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.2405.05546&authtype=sso&custid=ns315887.

APA

Meinicke, L. A., Hayes, I. J., & Jones, C. B. (2024). Data reification in a concurrent rely-guarantee algebra.

Chicago

Meinicke, Larissa A., Ian J. Hayes, and Cliff B. Jones. 2024. “Data Reification in a Concurrent Rely-Guarantee Algebra.” http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.2405.05546&authtype=sso&custid=ns315887.