Parallel System Logic