Denotational linear time semantics and sequential composition. - Baier, Christel
Keywords: Specification languages; Denotational semantics; Sequential composition