Executable Counterfactuals: A Causal Calculus for Concurrent Systems (Keynote) | AMiner