Failure-divergence semantics and refinement of long running transactions

✍ Scribed by Chen, Zhenbang; Liu, Zhiming; Wang, Ji

• Book ID: 119375324
• Publisher: Elsevier Science
• Year: 2012
• Tongue: English
• Weight: 429 KB
• Volume: 455
• Category: Article
• ISSN: 0304-3975
• DOI: 10.1016/j.tcs.2012.04.040