PPT-Reasoning about Optimistic Concurrency Using a Program Logi
Ming Fu USTC amp Yale Joint work with Yong Li Xinyu Feng Zhong Shao and Yu Zhang What is Optimistic Concurrency Increments the shared variable x atomically Optimistic
Download Presentation
"Reasoning about Optimistic Concurrency Using a Program Logi" is the property of its rightful owner. Permission is granted to download and print materials on this website for personal, non-commercial use only, provided you retain all copyright notices. By downloading content from our website, you accept the terms of this agreement.
Presentation Transcript
Transcript not available.