LTS Semantics for Compensation-based Processes