A complete logic for causal consistency / Papers New / By Qiss Will Simmons, Aleks Kissinger Oxford Computer Science Preprint: 2403.09297