- -

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

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

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

Mostrar el registro completo del ítem

Comini, M.; Titolo, L.; Villanueva García, A. (2013). A Condensed Goal-Independent Bottom-Up Fixpoint Semantics Modeling the Behavior of tccp. http://hdl.handle.net/10251/27810.

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/27810

Ficheros en el ítem

Metadatos del ítem

Título: A Condensed Goal-Independent Bottom-Up Fixpoint Semantics Modeling the Behavior of tccp
Autor:
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
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 ...[+]
Palabras clave: Timed Concurrent Constraint programming , denotational semantics , full abstraction , non-monotonic languages
Derechos de uso: Reconocimiento - No comercial - Compartir igual (by-nc-sa)
Tipo: Informe

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem