Towards the Unification of Models for Concurrency