From Conditional Specifications to Interaction Charts -- Algebraic Properties of