Thespis: Actor-Based Causal Consistency | IEEE Conference Publication | IEEE Xplore