Author:
Jiménez Ernesto,Fernández Antonio,Cholvi Vicent
Subject
Hardware and Architecture,Information Systems,Software
Reference17 articles.
1. Causal memory: definitions, implementation and programming;Ahamad;Distributed Computing,1995
2. The Design and Analysis of Parallel Algorithms;Akl,1989
3. Attiya, H., Friedman, R., 1992. A correctness condition for high-performance multiprocessors. In: Proceedings of the 24th Annual ACM Symposium on the Theory of Computing, pp. 679–690.
4. Sequential consistency versus linearizability;Attiya;ACM Transactions on Computer Systems,1994
5. Relationships between memory models;Cholvi;Information Processing Letters,2004
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Checking Causal Consistency of Distributed Databases;Networked Systems;2019
2. On verifying causal consistency;ACM SIGPLAN Notices;2017-05-11
3. On verifying causal consistency;Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages;2017-01
4. Bibliography;Distributed Systems;2017
5. Sequential Consistency;Distributed Algorithms for Message-Passing Systems;2013