Observational congruences for concurrency models