Transformation rules which increase the scope for concurrent activity within systems prescribed by programs of concurrent object languages are given. The correctness of the rules is proved using a semantic definition by ...