Cite
A trace semantics for long-running transactions
MLA
Michael Butler, et al. A Trace Semantics for Long-Running Transactions. 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.....044ca79c4fa166af80a67ad81c8e6eda&authtype=sso&custid=ns315887. Accessed 22 Oct. 2024.
APA
Michael Butler, Tony Hoare, & Carla Ferreira. (n.d.). A trace semantics for long-running transactions.
Chicago
Michael Butler, Tony Hoare, and Carla Ferreira. 2024. “A Trace Semantics for Long-Running Transactions.” Accessed October 22. 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.....044ca79c4fa166af80a67ad81c8e6eda&authtype=sso&custid=ns315887.