Analysis of synchronisations in stateful active objects