Comini, M.; Gallardo Melgarejo, MDM.; Titolo, L.; Villanueva, A. (2015). Abstract Analysis of Universal Properties for tccp. Lecture Notes in Computer Science. 163-178. https://doi.org/10.1007/978-3-319-27436-2_10
Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/68744
Title: | Abstract Analysis of Universal Properties for tccp | |
Author: | Comini, Marco Gallardo Melgarejo, Maria del Mar Titolo, Laura | |
UPV Unit: |
|
|
Issued date: |
|
|
Abstract: |
[EN] The Timed Concurrent Constraint Language (tccp) is a time extension of the concurrent constraint paradigm of Saraswat. tccp was defined to model reactive systems, where infinite behaviors arise naturally. In previous ...[+]
|
|
Subjects: |
|
|
Copyrigths: | Reserva de todos los derechos | |
ISBN: |
|
|
Source: |
|
|
DOI: |
|
|
Publisher: |
|
|
Publisher version: | http://dx.doi.org/10.1007/978-3-319-27436-2_10 | |
Conference name: |
|
|
Conference place: |
|
|
Conference date: |
|
|
Project ID: |
|
|
Thanks: |
This work has been supported by the Andalusian Excellence Project P11-TIC7659.
This work has been partially supported by the EU (FEDER) and the Spanish MINECO under grant TIN 2013-45732-C4-1-P (DAMAS) and by Generalitat ...[+]
|
|
Type: |
|