An Asynchronous Soundness Theorem for Concurrent Separation Logic

MLA

Paul-André Melliès, and Léo Stefanesco. An Asynchronous Soundness Theorem for Concurrent Separation Logic. July 2018. 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=edsair&AN=edsair.doi.dedup.....d7cd8352cdba9e1ccb66b377ea529088&authtype=sso&custid=ns315887.

APA

Paul-André Melliès, & Léo Stefanesco. (2018). An Asynchronous Soundness Theorem for Concurrent Separation Logic.

Chicago

Paul-André Melliès, and Léo Stefanesco. 2018. “An Asynchronous Soundness Theorem for Concurrent Separation Logic,” July. 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=edsair&AN=edsair.doi.dedup.....d7cd8352cdba9e1ccb66b377ea529088&authtype=sso&custid=ns315887.