Observational equivalences for concurrency models