Maximal Causal Models for Multithreaded Systems | AMiner