An algebraic semantics for object-oriented behaviour modeling | IEEE Conference Publication | IEEE Xplore