Denotational linear time semantics and sequential composition.

Detalhes bibliográficos
Publicado no:	Information processing letters. 59, 3 (1996).
Autor principal:	Baier, Christel
Formato:	Artigo
Idioma:	English
Assuntos:	Specification languages. Denotational semantics. Sequential composition.