Trace-Based Systems