Concurrent Composition of Objects in Hidden Logic

Abstract. An operator _| _ for concurrent composition of objects specified in hidden logicis proposed and the main properties for this operator are proved. Keywords: hidden logic, behavioral specification, concurrent connection, composite objects, communicating objects 1 Introduction Hidden algebra was introduced in [4, 2] to give algebraic semantics for object paradigms. It distinguishes between visible and hidden sorts in the sense that the equality is interpreted strictly on visible sorts and behaviorally on hidden sorts. In hidden algebra the models only behaviorally satisfy specifications, where behaviorally satisfaction means indistinguishability under experiments