Abstract
We introduce a new kind of causality between events of a distributed system that takes the nature of the events into account. More precisely, we distinguish between read (receive) and write (send) operations, yielding a relation called read-write causality. We clarify the intuition of our causality relation through examples, and we compare it with classical models of causality. Also, we show that it is better suited than the classical relations for debugging of formal specifications.
Cite
CITATION STYLE
Priami, C., & Yankelevich, D. (1994). Read-write causality. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 841 LNCS, pp. 567–576). Springer Verlag. https://doi.org/10.1007/3-540-58338-6_103
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
