k-Dependency Vectors: a scalable causality-tracking protocol | IEEE Conference Publication | IEEE Xplore