An Algebraic Compositional Semantics of an Object oriented Notation with Concurrency