- -

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

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

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

Show full item record

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/34328

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

Files in this item

Item Metadata

Title: A Condensed Goal-Independent Bottom-Up Fixpoint Semantics Modeling the Behavior of tccp
Author: Comini, Marco Titolo, Laura Villanueva García, Alicia
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Universitat Politècnica de València. Grupo de Extensiones de la Programación Lógica (ELP)
Issued date:
Abstract:
In this paper, we present a new compositional bottom-up semantics for the Timed Concurrent Constraint Language (tccp in short) which is defined for the full language. In particular, is able to deal with the non- monotonic ...[+]
Subjects: Concurrent Constraint Programming , Denotational Semantics
Copyrigths: Reconocimiento - No comercial - Compartir igual (by-nc-sa)
Publisher:
Universitat Politècnica de València
Project ID:
EU (FEDER) and the Spanish MEC/MICINN, ref. TIN 2010-21062-C02-02, and by Generalitat Valenciana, ref. PROMETEO2011/052
Type: Informe

This item appears in the following Collection(s)

Show full item record