Sequential consistency
Related papers: 4
Top Researchers
Top Cited Papers
Environment rematching: Toward dependability improvement for self-adaptive applications
Chang Xu, Wenhua Yang, Xiaoxing Ma, Chun Cao, Jian Lü
Citations: 12 • 2013
A General Approach to Derive Uncontrolled Reversible Semantics
Ivan Lanese, Doriana Medić
Citations: 11 • 2020
On efficient consistency checks by robots
Hongyang Qu, Sándor M. Veres
Citations: 2 • 2014
Efficient Verification of Periodic Programs using Sequential Consistency and Snapshots
Sagar Chaki, Arie Gurfinkel, Nishant Sinha
Citations: 2 • 2014