Decidability of Liveness on the TSO Memory Model

MLA

Wang, Chao, et al. Decidability of Liveness on the TSO Memory Model. 2021. 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.2107.09930&authtype=sso&custid=ns315887.

APA

Wang, C., Petri, G., Lv, Y., Long, T., & Liu, Z. (2021). Decidability of Liveness on the TSO Memory Model.

Chicago

Wang, Chao, Gustavo Petri, Yi Lv, Teng Long, and Zhiming Liu. 2021. “Decidability of Liveness on the TSO Memory Model.” 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.2107.09930&authtype=sso&custid=ns315887.