RiuNet repositorio UPV
:
Listar por palabra clave

Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "denotational semantics"

Mostrando ítems 1-1 de 1

A Condensed Goal-Independent Bottom-Up Fixpoint Semantics Modeling the Behavior of tccp

Comini, Marco; Titolo, Laura; Villanueva García, Alicia (Universitat Politècnica de València, 2013-04-13)

In this paper, we present a new compositional bottom-up semantics for the Timed Concurrent Constraint Language (tccp in short). Such semantics is defined for the full language. In particular, is able to deal with the ...

Mostrando ítems 1-1 de 1