- -

Tracking CSP computations

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Tracking CSP computations

Show full item record

Llorens Agost, ML.; Oliver Villarroya, J.; Silva, J.; Tamarit Muñoz, S. (2019). Tracking CSP computations. Journal of Logical and Algebraic Methods in Programming. 102:138-175. https://doi.org/10.1016/j.jlamp.2018.10.002

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

Files in this item

Item Metadata

Title: Tracking CSP computations
Author: Llorens Agost, María Luisa Oliver Villarroya, Javier Silva, Josep Tamarit Muñoz, Salvador
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Issued date:
Abstract:
[EN] Tracing is one of the most important techniques for program understanding and debugging. A trace gives the user access to otherwise hidden information about a computation. In the context of concurrent languages, ...[+]
Subjects: Concurrency theory/modeling , CSP , Semantics , Tracking
Copyrigths: Reserva de todos los derechos
Source:
Journal of Logical and Algebraic Methods in Programming. (issn: 2352-2208 )
DOI: 10.1016/j.jlamp.2018.10.002
Publisher:
Elsevier
Publisher version: https://doi.org/10.1016/j.jlamp.2018.10.002
Thanks:
This work has been partially supported by the EU (FEDER) and the Spanish Ministerio de Ciencia, Innovacion y Universidades/AEI under grant TIN2016-76843-C4-1-R and by the Generalitat Valenciana under grant PROMETEO-II/2015/013 ...[+]
Type: Artículo

This item appears in the following Collection(s)

Show full item record