Denotational linear time semantics and sequential composition.

Denotational linear time semantics and sequential composition.

Dettagli Bibliografici
Pubblicato in:Information processing letters. 59, 3 (1996).
Autore principale: Baier, Christel
Natura: Articolo
Lingua:English
Soggetti:
Specification languages.
Denotational semantics.
Sequential composition.