Abstract Interpretation of Trace Semantics for Concurrent Calculi