Unifying the Linear Time-Branching Time Spectrum of Process Semantics (Logical Methods in Computer Science, 2013)