Title of article :
Denotational linear time semantics and sequential composition
Author/Authors :
Christel Baier، نويسنده , , Mila E. Majster-Cederbaum، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 1996
Keywords :
Denotational semantics , Specification languages , Sequential composition
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters
