Omslagsbillede

Denotational linear time semantics and sequential composition.

Bibliografiske detaljer
Udgivet i:Information processing letters. 59, 3 (1996).
Hovedforfatter: Baier, Christel
Format: Article
Sprog:engelsk
Fag:
Specification languages.
Denotational semantics.
Sequential composition.