Denotational linear time semantics and sequential composition.

Bibliographic Details
Published in:	Information processing letters. 59, 3 (1996).
Main Author:	Baier, Christel
Format:	Article
Language:	English
Subjects:	Specification languages. Denotational semantics. Sequential composition.