Multiple Trace Composition and Its Uses