Towards a unified model for concurrency