Title of article
Denotational linear time semantics and sequential composition
Author/Authors
Christel Baier، نويسنده , , Mila E. Majster-Cederbaum، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 1996
Pages
9
From page
135
To page
143
Keywords
Denotational semantics , Specification languages , Sequential composition
Journal title
Information Processing Letters
Serial Year
1996
Journal title
Information Processing Letters
Record number
128526
Link To Document