Author:
Aspinall David,Ševčík Jaroslav
Publisher
Springer Berlin Heidelberg
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Interruption-driven resource competition defect model and testing methodology;2022 IEEE 6th Advanced Information Technology, Electronic and Automation Control Conference (IAEAC );2022-10-03
2. An operational happens-before memory model;Frontiers of Computer Science;2015-10-28
3. Partition consistency;Distributed Computing;2014-06-10
4. Context-Bounded Analysis of TSO Systems;From Programs to Systems. The Systems perspective in Computing;2014
5. Reasoning about the Implementation of Concurrency Abstractions on x86-TSO;ECOOP 2010 – Object-Oriented Programming;2010