Mostéfaoui, Achour; Perrin, Matthieu; Raynal, Michel Extending causal consistency to any object defined by a sequential specification. (English) Zbl 1427.68208 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 125, 81-92 (2018). Summary: This paper presents a generalization of causal consistency suited to the family of objects defined by a sequential specification. As causality is captured by a partial order on the set of operations issued by the processes on shared objects (concurrent operations are not ordered), it follows that causal consistency allows different processes to have different views of each object history. MSC: 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) Keywords:causality; causal order; concurrent object; consistency condition PDFBibTeX XMLCite \textit{A. Mostéfaoui} et al., Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 125, 81--92 (2018; Zbl 1427.68208) Full Text: arXiv Link